logicng 0.1.0-alpha.1

A Library for Creating, Manipulating, and Solving Boolean Formulas
Documentation