niklasso / minisatp

The Pseudo-Boolean Solver MiniSat+
27Updated 12 years ago

Related projects

Alternatives and complementary repositories for minisatp