/SAT-IT

Visual and interactive tool to visualize, learn about, and step through the resolution of SAT CNF formulas

Primary LanguageJava

SAT-IT

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

image

Requirements

  • A desktop environment
  • Java 8 or newer

Quick start

  1. Download the SAT-IT.jar file from the latest release https://github.com/marccane/SAT-IT/releases
  2. Double-click the file or execute the following command java -jar SAT-IT.jar