.. _factory_constraints:

=========
Factories
=========

.. deprecated:: 0.3.1

    ``dwavebinarycsp`` is deprecated and will be removed in Ocean 10.
    For solving problems with constraints, we recommand using the hybrid
    solvers in the Leap service.
    You can find documentation for the hybrid solvers at :ref:`opt_index_hybrid`.

`dwavebinarycsp` currently provides factories for constraints representing
Boolean gates and satisfiability problems and CSPs for circuits and satisfiability
problems.

Constraints
===========

.. automodule:: dwavebinarycsp.factories.constraint

Gates
-----

.. autosummary::
   :toctree: generated/

   gates.and_gate
   gates.or_gate
   gates.xor_gate
   gates.halfadder_gate
   gates.fulladder_gate

Satisfiability Problems
-----------------------

.. autosummary::
   :toctree: generated/

   sat.sat2in4

CSPs
====

.. automodule:: dwavebinarycsp.factories.csp

.. autosummary::
   :toctree: generated/

   circuits.multiplication_circuit
   sat.random_2in4sat
   sat.random_xorsat