pepy.tech

satx

0.3.8
63.23k

SAT-X The constraint modeling language for SAT solvers