Constraint -is:module
The kind of lifted constraints
Valid for: E;
Default:
True;
Parsing
Default:
True;
Notes:
Dot only
The kind of constraints, like Show a
Memory-managed wrapper type.
Values that we can turn into a constraint
A constraint is an edge in the graph.
Represents a constraint in the given column schema syntax
A linear constraint of two variables.
Lhs, relational operator and rhs.
Generate a constraint. We allow free variables here (first arg of
constraintGen). This might prove to be not kosher!
Add the SyGuS constraint to the current synthesis problem.
Not on Stackage, so not searched.
Reified constraints
Assert an n-ary constraint with arc consistency. One day this will
allow for a heterogeneous list of variables, but at the moment they
must all be of the same type.