Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
-
-
Updated
-
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
-
-
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
Исходный код свободной программы для создания карты сайта. Написана полностью в среде разработки Lazarus.
Официальный сайт: https://xn--90abhbolvbbfgb9aje4m.xn--p1ai/
Updated -
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
DiSL is an AOP-inspired domain-specific language for Java bytecode instrumentation.
Updated -
This project translates a structured developer's documentation into a json document.
Updated -