Group: org.ow2.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.

Dec 14, 2020
25 usages
icon

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

Dec 14, 2020
10 usages
icon

Dec 14, 2020
5 usages
icon

Dec 14, 2020
2 usages
icon

May 25, 2013
1 usages
icon

May 25, 2013
1 usages
icon

SAT4J · Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

Dec 14, 2020
icon

Sat4j-CSP-PB · A CSP solver based on the Sat4j platform.

Aug 23, 2022

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