satx

0.3.8
67.94k

SAT-X The constraint modeling language for SAT solvers