dead link at http://minisat.se/MiniSat.html

78 views
Skip to first unread message

keith....@bt.com

unread,
Mar 15, 2017, 8:47:10 AM3/15/17
to min...@googlegroups.com

The link "For more info, see the release notes" doesn't work.


Keith



Jaime Chavarriaga

unread,
Mar 20, 2017, 7:03:02 AM3/20/17
to MiniSat
> The link "For more info, see the
> release notes" doesn't work.

If you are looking for release notes, you may find information in the "doc" folder at minisat source code.
https://github.com/niklasso/minisat

If you are interested on solving the dead-link, i think you may send an issue or a pull request to the website repository at Github.
https://github.com/niklasso/minisat-webpage/tree/master/downloads
Reply all
Reply to author
Forward
0 new messages