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

Ewff is DNF. Introduced Term::Var and Term::Name. 

Restricting ewffs to DNF allows faster model generation.
Term::Var and Term::Name provide more type-safety.
parent f5615940
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