├── .circleci └── config.yml ├── .github └── ISSUE_TEMPLATE │ ├── bug_report.md │ └── feature_request.md ├── .gitignore ├── LICENSE ├── README.rst ├── docs ├── Makefile ├── README.rst ├── _images │ ├── FA_from_HA.png │ ├── HA.png │ ├── Problem_MapColoring.png │ ├── and.png │ └── map_coloring_CSP4colors.png ├── _static │ ├── cookie_notice.css │ └── cookie_notice.js ├── conf.py ├── index.rst ├── reference │ ├── api_ref.rst │ ├── compilers.rst │ ├── constraint.rst │ ├── csp.rst │ ├── factory_constraints.rst │ ├── loading.rst │ └── reduction.rst └── requirements.txt ├── dwavebinarycsp ├── __init__.py ├── compilers │ ├── __init__.py │ └── stitcher.py ├── core │ ├── __init__.py │ ├── constraint.py │ └── csp.py ├── exceptions.py ├── factories │ ├── __init__.py │ ├── constraint │ │ ├── __init__.py │ │ ├── gates.py │ │ └── sat.py │ └── csp │ │ ├── __init__.py │ │ ├── circuits.py │ │ └── sat.py ├── io │ ├── __init__.py │ └── cnf.py ├── package_info.py ├── reduction.py └── testing.py ├── pyproject.toml ├── requirements.txt ├── setup.cfg ├── setup.py └── tests ├── __init__.py ├── data ├── test0.cnf └── test1.cnf ├── requirements.txt ├── test_constraint.py ├── test_csp.py ├── test_documentation.py ├── test_factories_constraint.py ├── test_factories_csp.py ├── test_int_stitcher.py ├── test_io_cnf.py ├── test_reduction.py └── test_stitcher.py /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/LICENSE -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/README.rst -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/README.rst: -------------------------------------------------------------------------------- 1 | ../README.rst -------------------------------------------------------------------------------- /docs/_images/FA_from_HA.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/_images/FA_from_HA.png -------------------------------------------------------------------------------- /docs/_images/HA.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/_images/HA.png -------------------------------------------------------------------------------- /docs/_images/Problem_MapColoring.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/_images/Problem_MapColoring.png -------------------------------------------------------------------------------- /docs/_images/and.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/_images/and.png -------------------------------------------------------------------------------- /docs/_images/map_coloring_CSP4colors.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/_images/map_coloring_CSP4colors.png -------------------------------------------------------------------------------- /docs/_static/cookie_notice.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/_static/cookie_notice.css -------------------------------------------------------------------------------- /docs/_static/cookie_notice.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/_static/cookie_notice.js -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/reference/api_ref.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/reference/api_ref.rst -------------------------------------------------------------------------------- /docs/reference/compilers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/reference/compilers.rst -------------------------------------------------------------------------------- /docs/reference/constraint.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/reference/constraint.rst -------------------------------------------------------------------------------- /docs/reference/csp.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/reference/csp.rst -------------------------------------------------------------------------------- /docs/reference/factory_constraints.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/reference/factory_constraints.rst -------------------------------------------------------------------------------- /docs/reference/loading.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/reference/loading.rst -------------------------------------------------------------------------------- /docs/reference/reduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/reference/reduction.rst -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/docs/requirements.txt -------------------------------------------------------------------------------- /dwavebinarycsp/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/__init__.py -------------------------------------------------------------------------------- /dwavebinarycsp/compilers/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/compilers/__init__.py -------------------------------------------------------------------------------- /dwavebinarycsp/compilers/stitcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/compilers/stitcher.py -------------------------------------------------------------------------------- /dwavebinarycsp/core/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/core/__init__.py -------------------------------------------------------------------------------- /dwavebinarycsp/core/constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/core/constraint.py -------------------------------------------------------------------------------- /dwavebinarycsp/core/csp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/core/csp.py -------------------------------------------------------------------------------- /dwavebinarycsp/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/exceptions.py -------------------------------------------------------------------------------- /dwavebinarycsp/factories/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/factories/__init__.py -------------------------------------------------------------------------------- /dwavebinarycsp/factories/constraint/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/factories/constraint/__init__.py -------------------------------------------------------------------------------- /dwavebinarycsp/factories/constraint/gates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/factories/constraint/gates.py -------------------------------------------------------------------------------- /dwavebinarycsp/factories/constraint/sat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/factories/constraint/sat.py -------------------------------------------------------------------------------- /dwavebinarycsp/factories/csp/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/factories/csp/__init__.py -------------------------------------------------------------------------------- /dwavebinarycsp/factories/csp/circuits.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/factories/csp/circuits.py -------------------------------------------------------------------------------- /dwavebinarycsp/factories/csp/sat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/factories/csp/sat.py -------------------------------------------------------------------------------- /dwavebinarycsp/io/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/io/__init__.py -------------------------------------------------------------------------------- /dwavebinarycsp/io/cnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/io/cnf.py -------------------------------------------------------------------------------- /dwavebinarycsp/package_info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/package_info.py -------------------------------------------------------------------------------- /dwavebinarycsp/reduction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/reduction.py -------------------------------------------------------------------------------- /dwavebinarycsp/testing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/dwavebinarycsp/testing.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/pyproject.toml -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/requirements.txt -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/setup.cfg -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/setup.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/data/test0.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/data/test0.cnf -------------------------------------------------------------------------------- /tests/data/test1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/data/test1.cnf -------------------------------------------------------------------------------- /tests/requirements.txt: -------------------------------------------------------------------------------- 1 | coverage[toml] 2 | codecov 3 | -------------------------------------------------------------------------------- /tests/test_constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/test_constraint.py -------------------------------------------------------------------------------- /tests/test_csp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/test_csp.py -------------------------------------------------------------------------------- /tests/test_documentation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/test_documentation.py -------------------------------------------------------------------------------- /tests/test_factories_constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/test_factories_constraint.py -------------------------------------------------------------------------------- /tests/test_factories_csp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/test_factories_csp.py -------------------------------------------------------------------------------- /tests/test_int_stitcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/test_int_stitcher.py -------------------------------------------------------------------------------- /tests/test_io_cnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/test_io_cnf.py -------------------------------------------------------------------------------- /tests/test_reduction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/test_reduction.py -------------------------------------------------------------------------------- /tests/test_stitcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwavesystems/dwavebinarycsp/HEAD/tests/test_stitcher.py --------------------------------------------------------------------------------