Pinned

1. 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++ 5

2. HESS-KNAPSACK Public

   A HESS Knapsack O(n^2.x) + O(Oracle) Pseudo (exact in many cases) Optimal Solver

   C++ 3

3. 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 1

4. DEIDOS Public

   Subset Sum Problem Solver

   C++ 5

5. 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

6. PEQNP Public

   PEQNP Mathematical Solver

   C++ 11