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 30.01.2020: Removed submodule (7c55b81)