Pinned Loading

1. SATX SATX Public

   SATX is an exact constraint-based modeling system built on top of SAT solvers. It allows users to express arithmetic, logical, and algebraic constraints directly in Python and solve them using SAT …

   Python 6 1

2. Kinematic-Foundations-of-Relational-Geometry-and-Informational-Limits-of-Agency Kinematic-Foundations-of-Relational-Geometry-and-Informational-Limits-of-Agency Public

   This document establishes a rigorous unified mathematical framework that connects four traditionally separate domains: computational logic, discrete geometry, quantum many-body theory, and operatio…

   2

3. SAT-Verified-Discrete-Physics SAT-Verified-Discrete-Physics Public

   A Minimal, Auditable SAT Workflow for Finite Discrete Geometry and Locality

   Python 2

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

   Epistemic Curvature, Discrete Geometry, and the Limits of Knowledge

   2

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