pepy.tech

satx

0.3.8
64.78k

SAT-X The constraint modeling language for SAT solvers