We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
typos and notes about tree constraints
update Improving The Constraint Framework now that the changes have landed in master. Add section on possible enhancements to eliminate `root-var`.
cleanup code
typos & tweaks
notes on subsumed constraints
note on disjunctive constraints and disequality
some notes
tweaks
we don't need IPrefix anymore. ITreeConstraint should be a marker interface.
unify code style
switch to entailed?
tweak
add `!=` example
rename
Created Improving the constraint framework (markdown)