PEQNP

PEQNP Mathematical Solver

PEQNP Downloads

PEQNP

Mathematical Solver

The PEQNP system its an automatic CNF compiler and interpreter integrated with Python.

Installation

pip install PEQNP

Try SAT-X a language for constrained optimization and decision problems over positive integers, that work with any SAT Competition standard SAT solver. Is based on Python, and is ase to learn and easy to use with all technologies associated to this language.

SLIME

SLIME Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021

SLIME

SLIME 4 SAT Solver

Sat Competition 2020, 3rd place on Cloud Tack

SLIME