Last released Dec 7, 2022
CNFX - A base -1 + i CNF encoder for complex field operations.
Last released Jun 29, 2022
A Circuit SAT Language that emit CNF code.
Last released Jun 13, 2022
SAT-X The constraint modeling language for SAT solvers
Last released Mar 31, 2021
PEQNP Mathematical Solver from http://www.peqnp.com
Last released Oct 4, 2020
HESS black-box algorithm from http://www.peqnp.com
Supported by
