Enter examples of constraint you seek, enter positives and/or negative ground instances for a constraint that you know.
The seeker provides constraints which satisfy given examples.
Please read the basic help to start the use of this seeker.
+ -