4 lines
216 B
Markdown
4 lines
216 B
Markdown
# Minisat
|
|
|
|
This Git repository holds all major release versions of [Minisat](http://minisat.se/Main.html) plus occasional patches for your convenience.
|
|
To get a specific version, see the branches of this repository.
|