Explore projects
-
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 -
-
-
-
-