pepy.tech

satx

0.3.8
71.33k

SAT-X The constraint modeling language for SAT solvers