Group: org.sat4j - All Dependencies

icon

SAT4J core · The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software.

Oct 31, 2011
16 usages
icon
org.sat4j.pb 2.3.1

SAT4J pseudo · The pb library contains algorithms for solving pseudo boolean optimization problems.

Oct 31, 2011
5 usages
icon

Oct 31, 2011
1 usages
icon

Mar 30, 2011
1 usages
icon

Mar 30, 2011
icon

SAT4J · The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. Since we use the library for our own research, it is also possible for SAT researchers to use it as a basis for their work.

Oct 31, 2011
icon

Mar 30, 2011

Advertisement

Top Dependency Usages

Feb 13, 2021
95.1k usages
8.4k stars
Jun 02, 2023
69.4k usages
14.2k stars
Mar 17, 2023
51k usages
2.1k stars
Jul 31, 2023
27.1k usages
49k stars
Aug 09, 2023
25k usages
2.7k stars