Repository navigation

Fix #1098: [Rule] HamiltonianCircuit to Satisfiability - #1229

Open

isPANN wants to merge 1 commit into

mainfrom

issue-1098-hamiltoniancircuit-sat

Open

Fix #1098: [Rule] HamiltonianCircuit to Satisfiability#1229
isPANN wants to merge 1 commit into
mainfrom
issue-1098-hamiltoniancircuit-sat

Commits on Nov 3, 2026
- Add HamiltonianCircuit to Satisfiability reduction
  isPANN
  committed
  fb0b6fc