WikiMini

Boolean SAT solver