GitHub repository: marccane/SAT-IT
Primary language: Java
Description: Visual and interactive tool to visualize, learn about, and step through the resolution of SAT CNF formulas