Interactive tool to visualize, learn about, and step through the resolution of SAT CNF formulas.
This tool was made as part of my degree final project
You can find a summary of the tool (in Catalan) here
- A desktop environment
- Java 8 or newer
- Download the SAT-IT.jar file from the latest release https://github.com/marccane/SAT-IT/releases
- Double-click the file or execute the following command
java -jar SAT-IT.jar