.. highlight:: java
   :linenothreshold: 4


########################################################################################
MaxiCP: A Not So Mini Constraint Programming Solver
########################################################################################

.. toctree::
   :maxdepth: 2
   :caption: Contents

   intro
   learning_maxicp/getting_started
   learning_maxicp/architecture
   learning_maxicp/state_management
   learning_maxicp/propagation
   learning_maxicp/search_strategies
   learning_maxicp/scheduling
   learning_maxicp/seqvar
   learning_maxicp/symbolic_modeling
   learning_maxicp/allmodels
   references


Indices and tables
==================

* :ref:`genindex`
* :ref:`search`