- wrote implementation and test for a plain DPLL-based counting algorithm for equality formulas.
- wrote implementation and test for a plain DPLL-based counting algorithm for equality formulas.
aic-sri-international/aic-util,aic-sri-international/aic-util