aboutsummaryrefslogtreecommitdiff
path: root/ports/minisat-master-keying
AgeCommit message (Expand)Author
2018-06-14Add a modernized cross-platform fork of MiniSat 2.2 (#3692)Martin Hořeňovský