]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Use CryptoMiniSat by default.
authorFrancis Russell <francis@unchartedbackwaters.co.uk>
Mon, 18 Apr 2011 23:41:31 +0000 (00:41 +0100)
committerFrancis Russell <francis@unchartedbackwaters.co.uk>
Mon, 18 Apr 2011 23:41:31 +0000 (00:41 +0100)
commitfa5aac103ae21e8f3734520c266c0164c46d1c16
treef077ec015fc29670ffc09eba03afae12bced745f
parent7bf73e92b6329085b9f8d271e24d95d344cd42e5
Use CryptoMiniSat by default.
src/STPManager/UserDefinedFlags.h