rm -rf minisat
git clone https://github.com/master-keying/minisat.git
tar -c -f- --exclude .git minisat | xz -9 >minisat-`date '+%Y%m%d'`.tar.xz
rm -rf minisat
