Designing a propagator
How to develop a propagator?
Advanced usages
What does your user need to know to develop features?
Designing a search strategy
How to design search strategies?
Search loop
Understanding the search loop.
Explanations
Using explanations.
Ibex
Using Ibex.
SAT
Use the embedded SAT solver directly.
Feedback
Was this page helpful?
Glad to hear it! Please tell us how we can improve.
Sorry to hear that. Please tell us how we can improve.