branched STP into a programmable branch. Add programmable SAT code to cryptominisat2 dir. svn removed previous code in that dir
branched STP into a programmable branch. Add programmable SAT code to cryptominisat2 dir. svn removed previous code in that dir

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp