Repository

Group

License

Found 10 results

Sort: relevance | popular | newest
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.
Last Release on Dec 16, 2020