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

Note: Try SAT-X an experimental extension of www.PEQNP.com with support for negative numbers, modular arithmetics, and more…

SLIME 4 SAT Solver

Sat Competition 2020, 3rd place on Cloud Tack

SLIME