Pinned Loading

1. The-SAT-Equation The-SAT-Equation Public

   The SAT Equation: Encoding Satisfying Assignments into an Integer.

   Python 1

2. ThreeSort ThreeSort Public

   Three Sort: An Efficient Hybrid Sorting Algorithm [AI Assisted Research - 2024 YR4 Mission]

   C++

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