Martin Hořeňovský
|
fb7b8365fe
|
Add a modernized cross-platform fork of MiniSat 2.2 (#3692)
* Add a modernized cross-platform fork of MiniSat 2.2
* [minisat-master-keying] Put copyright in correct directory. Lowercase share name.
|
2018-06-14 22:37:39 +02:00 |
|