# 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.