PEQNP

Mathematical Solver

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

• Try PEQNP on Google Colab
• DRILLING PROBLEM
• A TRANSPORTATION PROBLEM
• KNIGHT'S TOUR SLIME CLOUD (EXTERNAL)
• CELL TOWER MAXIMAL COVERAGE AT MINIMAL COST
• INTRODUCTION TO TENSORS

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 4 SAT Solver

Sat Competition 2020, 3rd place on Cloud Tack