Advanced usages

What does your user need to know to develop features?

Designing a propagator

How to develop a propagator?

Designing a search strategy

How to design search strategies?

Search loop

Understanding the search loop.

Explanations

Using explanations.

Ibex

Using Ibex.

Miscellaneous


Last modified 30.01.2020: Removed submodule (7c55b81)