separated the test from main code
basic minsat solver.tag 1.0.
temporary commit
dummy commit . starting with a basic version of dpll
Basic version of DPLL working
dummy commit
dpll algo works for basic_tests and bart cases . Still not working for test1cs
Added chooseliteral RAND and modified DLCS for rand which should be changed back mostly
minor changes to min conflicts . test1cs is still not working.. branching now to add restarts to min_conflicts
backup commit
dummy commit
Stage 1 imm commit
all broken code
dpll working
dpll mom improvement
just changed dpll
changed variable object to integer primitive datatype
SATDPLL tagged
dangerous commit . may have to revert
568 gen1.2 test case still taking lot of time