List view

• M6: Perf, build, cleanup

  Performance, build config, code quality

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• M5: Parser/CLI robustness

  Parser, DIMACS, CLI commands

  No due date

  •2/3 issues closed
  66% complete1 open2 closed

• M4: Arithmetic theories

  Simplex / LIA / NRA numbers / optimization

  No due date

  •2/6 issues closed
  33% complete4 open2 closed

• M3: Bit-vector theory

  QF_BV correctness

  No due date

  •3/7 issues closed
  42% complete4 open3 closed

• M2: Validation infra

  SMT-LIB subset parser + benchmark oracle runner

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• M1: Critical soundness

  SAT<->theory interface soundness bugs

  No due date

  •3/6 issues closed
  50% complete3 open3 closed

• M0: Safety net

  Differential testing harness before fixing anything

  No due date

  •0/1 issues closed
  0% complete1 open0 closed