satx

0.3.8
68.46k

SAT-X The constraint modeling language for SAT solvers