Open dan-blank opened 5 years ago
The download link for the make target "minisat2-download" was outdated, now it refers to a working snapshot.
The download link for the make target "minisat2-download" was outdated, now it refers to a working snapshot.