Projects with this topic
Sort by:
-
An elegant and efficient combinatorial programming language.
Updated -
RoundingSat: the pseudo-Boolean solver powered by proof complexity!
Updated
An elegant and efficient combinatorial programming language.
RoundingSat: the pseudo-Boolean solver powered by proof complexity!
