Skip to content
Commit e551c88a authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Optimization of PEL. 

Literals from unit clauses are not added to PEL as splitting them is
useless.
Additionally we do one unit propagation on the initial setup.
parent 67e4776f
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment