lutzthies/HCPtoSAT

Encoder and solver for Hamiltonian Cycle Problems in SAT

CNOASSERTION