Pinned Loading

1. The-Geometry-of-the-Unknowable The-Geometry-of-the-Unknowable Public

   Epistemic Curvature, Discrete Geometry, and the Limits of Knowledge

2. The-SAT-Equation The-SAT-Equation Public

   The SAT Equation: Encoding Satisfying Assignments into an Integer.

   Python 2

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

4. DEIDOS DEIDOS Public

   Subset Sum Problem Solver

   C++ 5

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

6. PEQNP PEQNP Public

   PEQNP Mathematical Solver

   C++ 13