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

Replaced Solver::EntailsComplete() with Solver::Consistent(). 

They're essentially equivalent. For convenience,
Solver::EntailsComplete() still exists.
parent 94d6bede
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment