Skip to content

Feature DPLL: variable elimination

waldmann requested to merge master into master

A variable can be removed from the formula with resolving. The new command "Eliminate" takes two arguments: the variable's number and the formula's new size. The configuration of the task and the scope of the parameters are checked.

Merge request reports