Adding SATCHECK_CONFIG to make switching easier ...
authorHamed Gorjiara <hgorjiar@uci.edu>
Mon, 23 Oct 2017 09:43:45 +0000 (02:43 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Mon, 23 Oct 2017 09:43:45 +0000 (02:43 -0700)
commit52262356164ae4bb82a520cb298e9d66843c5528
treedb2fbc2345f8a53ccaa5ed83c33f82a728cb0bbc
parentcfbb106cf7c1281029b012c47580c9f14df1014b
Adding SATCHECK_CONFIG to make switching easier ...
src/common.h
src/config.h
src/mymemory.h