.. _csp:

=========================================
Defining Constraint Satisfaction Problems
=========================================

.. automodule:: dwavebinarycsp.core.csp

Class
=====

.. currentmodule:: dwavebinarycsp
.. autoclass:: ConstraintSatisfactionProblem


Methods
=======

Adding variables and constraints
--------------------------------

.. autosummary::
   :toctree: generated/

   ConstraintSatisfactionProblem.add_constraint
   ConstraintSatisfactionProblem.add_variable


Satisfiability
--------------

.. autosummary::
   :toctree: generated/

   ConstraintSatisfactionProblem.check


Transformations
---------------

.. autosummary::
   :toctree: generated/

   ConstraintSatisfactionProblem.fix_variable