CSP-Solver
=================================

Implementation of the solver algorithms: backtracking, forward checking, and
heuristics such as MRV and LCV to solve constraint satisfaction problems (CSPs).

.. doxygenfile:: solver/csp-solver.h
.. doxygenfile:: solver/csp-solver-fc.h
.. doxygenfile:: solver/csp-solver-ovars.h
.. doxygenfile:: solver/types-and-structs.h