maxtuno / blue

A Powerful SAT Solver for Java

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

BLUE

A Powerful SAT Solver for Java

very simple:

java -jar -Xmx4g blue.jar file.cnf

Blue is based on Minisat many thanks to Niklas Een, Niklas Sorensson for this great solver.

alt text

About

A Powerful SAT Solver for Java

License:MIT License


Languages

Language:Java 100.0%