search

curtisbright / PhysicsCheck

Other
0 stars 2 forks source link

Running generate.py twice results in corrupted CNF #25

Closed curtisbright closed 1 year ago

curtisbright commented 1 year ago

Hi Brian, Running generate.py when the DIMACS file is already present causes the instance to become corrupted with 2 headers and duplicate clauses. Curtis

BrianLi009 commented 1 year ago

pushed an update. If the instance exists, the script will prompt a message then terminate.