mister-bailey/Bailey-MiniSAT

Some modifications to (the MapleSAT derivative of) MiniSAT for deeper clause inspection for probability heuristics

C++NOASSERTION