Issues

• Pre-registered: Tseitin 4x9 (72 vars, min=4) — the size-matched control for 6x6 (#100)

  InauguralSystems/EigenMiniSat#117 · Filter by author InauguralPhysicist opened on Sep 29, 2026
  1

• CI acceptance needs drat-trim but nothing declares it — run_proof_check.sh exits 1 before any solver work on a host without it

  InauguralSystems/EigenMiniSat#114 · Filter by author InauguralPhysicist opened on Sep 20, 2026

• Three uncalled helpers, six counters that are structurally always zero, and the Glucose-side telemetry is never printed

  InauguralSystems/EigenMiniSat#87 · Filter by author InauguralPhysicist opened on Aug 9, 2026
  1

• ui: live solver dashboard — a run() front-end on the stepped-session seam (fleet UI proposal)

  InauguralSystems/EigenMiniSat#76 · Filter by author InauguralPhysicist opened on Aug 2, 2026
  2

• Corpus: the pigeonhole and graph-coloring families are the same formula — 4 instances provide 2 instances of coverage

  InauguralSystems/EigenMiniSat#64 · Filter by author InauguralPhysicist opened on Jul 25, 2026