Pinned Loading

1. SLIME SLIME Public

   SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.

   C++ 6

2. HESS-SAT-COMPLETE HESS-SAT-COMPLETE Public

   The original HESS (Hyper Exponential Space Sorting) is a polynomial black-box optimization algorithm, that work very well with any NP-Complete, or NP-Hard problem, at 2021 thanks to suggestions of …

   C++ 3 2

3. DEIDOS DEIDOS Public

   Subset Sum Problem Solver

   C++ 5

4. SATX SATX Public

   SAT-X is 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 ea…

   Python 5 1

5. PEQNP PEQNP Public

   PEQNP Mathematical Solver

   C++ 13

6. SAT_EQUATION SAT_EQUATION Public

   UNIVERSAL NUMBER THEORY EQUATION OF SAT

   Python 6 1