stp/.gitignore

/stp-stp-5405af4.tar.gz
/stp-stp-3785148.tar.gz
/stp-stp-b67aa83.tar.gz
Update to recent git snapshot. 2015-09-04 16:14:38 +00:00			`/stp-stp-5405af4.tar.gz`
Update to recent git snapshot. 2016-02-21 03:17:01 +00:00			`/stp-stp-3785148.tar.gz`
Update to recent git snapshot. Build with cryptominisat5 support. 2017-11-25 21:46:18 +00:00			`/stp-stp-b67aa83.tar.gz`