Skip to content

Commit

Permalink
Fix broken link.
Browse files Browse the repository at this point in the history
  • Loading branch information
@emina
emina committed Sep 13, 2015
1 parent 96893d4 commit 7377e0b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ MiniSat-p v1.14
This is a patched and slightly extended version of the MiniSat v1.14 solver
with proof logging. The original source code, by Niklas Een and
Niklas Sörensson, is [available](http://minisat.se/downloads/MiniSat-p_v1.14.2006-Sep-07.src.zip)
at the [MiniSat page](www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat/).
at the [MiniSat page](http://minisat.se/).

0 comments on commit 7377e0b

Please sign in to comment.