.. _ref_modules:

=======
Modules
=======

.. Weighted Constraint Satisfaction Problem file format (wcsp)
.. -----------------------------------------------------------

.. .. doxygengroup:: wcspformat

Variable and cost function modeling
-----------------------------------

.. doxygengroup:: modeling

Solving cost function networks
------------------------------

.. doxygengroup:: solving

**toulbar2test.cpp**

  :download:`toulbar2test.cpp<../../../src/toulbar2test.cpp>`

  .. literalinclude:: ../../../src/toulbar2test.cpp

Output messages, verbosity options and debugging
------------------------------------------------

.. doxygengroup:: verbosity

Preprocessing techniques
------------------------

.. doxygengroup:: preprocessing

Variable and value search ordering heuristics
---------------------------------------------

.. doxygengroup:: heuristics

Soft arc consistency and problem reformulation
----------------------------------------------

.. doxygengroup:: softac

Virtual Arc Consistency enforcing
---------------------------------

.. doxygengroup:: VAC

NC bucket sort
--------------

.. doxygengroup:: ncbucket

Variable elimination
--------------------

.. doxygengroup:: varelim

Propagation loop
----------------

.. doxygengroup:: propagation

Backtrack management
--------------------

.. doxygengroup:: backtrack

