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.
Last modified January 30, 2020: Removed submodule (7c55b81)