Implement tautology checking, and active variable parsing
bprovanbessell opened this issue · comments
Use SATzilla coda as baseline, understand, and then implement what is there.
Reduction of variables and clauses as well
Unit clause prop needed aswell