.envrc
.gitignore
.pre-commit-config.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
LICENSE
README.md
mkdocs.yml
noxfile.py
pyproject.toml
.github/workflows/deploy.yml
.github/workflows/doc.yml
.github/workflows/test.yml
docs/SUMMARY.md
docs/index.md
docs/_custom/css/extra.css
docs/_custom/css/mkdocstrings.css
docs/_custom/javascripts/mathjax.js
docs/_custom/overrides/.icons/potassco-logo.svg
docs/_custom/overrides/partials/logo.html
docs/assets/images/potassco-logo.svg
docs/assets/images/pt_rgb_green_digital.svg
docs/community/CHANGES.md
docs/community/CONTRIBUTING.md
docs/community/DEPLOYMENT.md
docs/community/DEVELOPMENT.md
docs/community/index.md
docs/examples/coloring.md
docs/examples/frame.md
docs/examples/independent.md
docs/examples/index.md
docs/examples/orphan.md
docs/examples/path.md
docs/examples/queens.md
docs/examples/reachability.md
docs/examples/tiling.md
docs/examples/transitive.md
docs/examples/two-elements.md
docs/examples/uniqueness.md
docs/reference/cli.md
docs/reference/counterexample-search.md
docs/reference/external-equivalence.md
docs/reference/index.md
docs/reference/language.md
docs/reference/api/cx_program.md
docs/reference/api/index.md
docs/reference/api/analysis/assumptions.md
docs/reference/api/analysis/conflict.md
docs/reference/api/analysis/dependency.md
docs/reference/api/analysis/index.md
docs/reference/api/analysis/inputs.md
docs/reference/api/analysis/local.md
docs/reference/api/transformation/aggregate.md
docs/reference/api/transformation/choice.md
docs/reference/api/transformation/head.md
docs/reference/api/transformation/index.md
docs/reference/api/transformation/public_reduct.md
docs/reference/api/transformation/rejections.md
docs/reference/api/utils/data.md
docs/reference/api/utils/errors.md
docs/reference/api/utils/index.md
docs/reference/api/utils/logging.md
docs/reference/api/utils/output.md
docs/reference/api/utils/parsing.md
docs/reference/api/utils/solving.md
docs/reference/api/utils/transformation.md
docs/use/help.md
docs/use/installation.md
docs/use/quick-start.md
examples/coloring/README.md
examples/coloring/assumptions.lp
examples/coloring/coloring-assumption.ug
examples/coloring/coloring.1.lp
examples/coloring/coloring.2.lp
examples/coloring/coloring.ug
examples/dependency/README.md
examples/dependency/dependency.ug
examples/dependency/mixed-cycle.lp
examples/dependency/private-cycle.lp
examples/dependency/public-cycle.lp
examples/dependency/recursive-aggregate.lp
examples/equivalent/cover/cover.1.lp
examples/equivalent/cover/cover.2.lp
examples/equivalent/cover/cover.ug
examples/equivalent/primes/complex/primes.1.lp
examples/equivalent/primes/complex/primes.2.lp
examples/equivalent/primes/complex/primes.3.lp
examples/equivalent/primes/complex/primes.po
examples/equivalent/primes/complex/primes.ug
examples/equivalent/primes/simple/primes.1.lp
examples/equivalent/primes/simple/primes.2.lp
examples/equivalent/primes/simple/primes.ug
examples/equivalent/tiling/tiling.1.lp
examples/equivalent/tiling/tiling.2.lp
examples/equivalent/tiling/tiling.B.po
examples/equivalent/tiling/tiling.F.po
examples/equivalent/tiling/tiling.U.po
examples/equivalent/tiling/tiling.ug
examples/frame/README.md
examples/frame/assumptions.lp
examples/frame/frame-assumptions.ug
examples/frame/frame.1.lp
examples/frame/frame.2.lp
examples/frame/frame.po
examples/frame/frame.ug
examples/independent/README.md
examples/independent/assumptions.lp
examples/independent/independent-assumption.ug
examples/independent/independent.1.lp
examples/independent/independent.2.lp
examples/independent/independent.ug
examples/orphan/README.md
examples/orphan/assumptions.lp
examples/orphan/orphan-assumptions.ug
examples/orphan/orphan.1.lp
examples/orphan/orphan.2.lp
examples/orphan/orphan.ug
examples/path/README.md
examples/path/assumptions.lp
examples/path/path.1.lp
examples/path/path.2.lp
examples/path/path.ug
examples/queens/README.md
examples/queens/queens.1.lp
examples/queens/queens.2.lp
examples/queens/queens.ug
examples/reachability/README.md
examples/reachability/assumptions.lp
examples/reachability/reachability.1.lp
examples/reachability/reachability.2.lp
examples/reachability/reachability.ug
examples/sparql/README.md
examples/sparql/results_reify.md
examples/sparql/results_simple.md
examples/sparql/run_reify.sh
examples/sparql/run_simple.sh
examples/sparql/noprojection/noprojection.csv
examples/sparql/noprojection/nop0/Q0a.lp
examples/sparql/noprojection/nop0/Q0a.reify.lp
examples/sparql/noprojection/nop0/Q0b.lp
examples/sparql/noprojection/nop0/Q0b.reify.lp
examples/sparql/noprojection/nop0/nop0.reify.ug
examples/sparql/noprojection/nop0/nop0.ug
examples/sparql/noprojection/nop1/Q1a.lp
examples/sparql/noprojection/nop1/Q1a.reify.lp
examples/sparql/noprojection/nop1/Q1b.lp
examples/sparql/noprojection/nop1/Q1b.reify.lp
examples/sparql/noprojection/nop1/nop1.reify.ug
examples/sparql/noprojection/nop1/nop1.ug
examples/sparql/noprojection/nop10/Q9a.lp
examples/sparql/noprojection/nop10/Q9a.reify.lp
examples/sparql/noprojection/nop10/Q9b.lp
examples/sparql/noprojection/nop10/Q9b.reify.lp
examples/sparql/noprojection/nop10/nop10.reify.ug
examples/sparql/noprojection/nop10/nop10.ug
examples/sparql/noprojection/nop2/Q2a.lp
examples/sparql/noprojection/nop2/Q2a.reify.lp
examples/sparql/noprojection/nop2/Q2b.lp
examples/sparql/noprojection/nop2/Q2b.reify.lp
examples/sparql/noprojection/nop2/nop2.reify.ug
examples/sparql/noprojection/nop2/nop2.ug
examples/sparql/noprojection/nop3/Q3a.lp
examples/sparql/noprojection/nop3/Q3a.reify.lp
examples/sparql/noprojection/nop3/Q3b.lp
examples/sparql/noprojection/nop3/Q3b.reify.lp
examples/sparql/noprojection/nop3/nop3.reify.ug
examples/sparql/noprojection/nop3/nop3.ug
examples/sparql/noprojection/nop4/Q4b.lp
examples/sparql/noprojection/nop4/Q4b.reify.lp
examples/sparql/noprojection/nop4/Q4c.lp
examples/sparql/noprojection/nop4/Q4c.reify.lp
examples/sparql/noprojection/nop4/nop4.reify.ug
examples/sparql/noprojection/nop4/nop4.ug
examples/sparql/noprojection/nop5/Q6a.lp
examples/sparql/noprojection/nop5/Q6a.reify.lp
examples/sparql/noprojection/nop5/Q6b.lp
examples/sparql/noprojection/nop5/Q6b.reify.lp
examples/sparql/noprojection/nop5/nop5.reify.ug
examples/sparql/noprojection/nop5/nop5.ug
examples/sparql/noprojection/nop6/Q6a.lp
examples/sparql/noprojection/nop6/Q6a.reify.lp
examples/sparql/noprojection/nop6/Q6c.lp
examples/sparql/noprojection/nop6/Q6c.reify.lp
examples/sparql/noprojection/nop6/nop6.reify.ug
examples/sparql/noprojection/nop6/nop6.ug
examples/sparql/noprojection/nop7/Q6b.lp
examples/sparql/noprojection/nop7/Q6b.reify.lp
examples/sparql/noprojection/nop7/Q6c.lp
examples/sparql/noprojection/nop7/Q6c.reify.lp
examples/sparql/noprojection/nop7/nop7.reify.ug
examples/sparql/noprojection/nop7/nop7.ug
examples/sparql/noprojection/nop8/Q7a.lp
examples/sparql/noprojection/nop8/Q7a.reify.lp
examples/sparql/noprojection/nop8/Q7b.lp
examples/sparql/noprojection/nop8/Q7b.reify.lp
examples/sparql/noprojection/nop8/nop8.reify.ug
examples/sparql/noprojection/nop8/nop8.ug
examples/sparql/noprojection/nop9/Q8a.lp
examples/sparql/noprojection/nop9/Q8a.reify.lp
examples/sparql/noprojection/nop9/Q8b.lp
examples/sparql/noprojection/nop9/Q8b.reify.lp
examples/sparql/noprojection/nop9/nop9.reify.ug
examples/sparql/noprojection/nop9/nop9.ug
examples/sparql/projection/projection.csv
examples/sparql/projection/p0/Q0a.lp
examples/sparql/projection/p0/Q0a.reify.lp
examples/sparql/projection/p0/Q0b.lp
examples/sparql/projection/p0/Q0b.reify.lp
examples/sparql/projection/p0/p0.reify.ug
examples/sparql/projection/p0/p0.ug
examples/sparql/projection/p1/Q11a.lp
examples/sparql/projection/p1/Q11a.reify.lp
examples/sparql/projection/p1/Q11b.lp
examples/sparql/projection/p1/Q11b.reify.lp
examples/sparql/projection/p1/p1.reify.ug
examples/sparql/projection/p1/p1.ug
examples/sparql/projection/p10/Q19a.lp
examples/sparql/projection/p10/Q19a.reify.lp
examples/sparql/projection/p10/Q19b.lp
examples/sparql/projection/p10/Q19b.reify.lp
examples/sparql/projection/p10/p10.reify.ug
examples/sparql/projection/p10/p10.ug
examples/sparql/projection/p11/Q19b.lp
examples/sparql/projection/p11/Q19b.reify.lp
examples/sparql/projection/p11/Q19c.lp
examples/sparql/projection/p11/Q19c.reify.lp
examples/sparql/projection/p11/p11.reify.ug
examples/sparql/projection/p11/p11.ug
examples/sparql/projection/p12/Q20a.lp
examples/sparql/projection/p12/Q20a.reify.lp
examples/sparql/projection/p12/Q20b.lp
examples/sparql/projection/p12/Q20b.reify.lp
examples/sparql/projection/p12/p12.reify.ug
examples/sparql/projection/p12/p12.ug
examples/sparql/projection/p13/Q21a.lp
examples/sparql/projection/p13/Q21a.reify.lp
examples/sparql/projection/p13/Q21b.lp
examples/sparql/projection/p13/Q21b.reify.lp
examples/sparql/projection/p13/p13.reify.ug
examples/sparql/projection/p13/p13.ug
examples/sparql/projection/p14/Q22a.lp
examples/sparql/projection/p14/Q22a.reify.lp
examples/sparql/projection/p14/Q22b.lp
examples/sparql/projection/p14/Q22b.reify.lp
examples/sparql/projection/p14/p14.reify.ug
examples/sparql/projection/p14/p14.ug
examples/sparql/projection/p2/Q12a.lp
examples/sparql/projection/p2/Q12a.reify.lp
examples/sparql/projection/p2/Q12b.lp
examples/sparql/projection/p2/Q12b.reify.lp
examples/sparql/projection/p2/p2.reify.ug
examples/sparql/projection/p2/p2.ug
examples/sparql/projection/p3/Q13a.lp
examples/sparql/projection/p3/Q13a.reify.lp
examples/sparql/projection/p3/Q13b.lp
examples/sparql/projection/p3/Q13b.reify.lp
examples/sparql/projection/p3/p3.reify.ug
examples/sparql/projection/p3/p3.ug
examples/sparql/projection/p4/Q14b.lp
examples/sparql/projection/p4/Q14b.reify.lp
examples/sparql/projection/p4/Q14c.lp
examples/sparql/projection/p4/Q14c.reify.lp
examples/sparql/projection/p4/p4.reify.ug
examples/sparql/projection/p4/p4.ug
examples/sparql/projection/p5/Q15a.lp
examples/sparql/projection/p5/Q15a.reify.lp
examples/sparql/projection/p5/Q15b.lp
examples/sparql/projection/p5/Q15b.reify.lp
examples/sparql/projection/p5/p5.reify.ug
examples/sparql/projection/p5/p5.ug
examples/sparql/projection/p6/Q16a.lp
examples/sparql/projection/p6/Q16a.reify.lp
examples/sparql/projection/p6/Q16b.lp
examples/sparql/projection/p6/Q16b.reify.lp
examples/sparql/projection/p6/p6.reify.ug
examples/sparql/projection/p6/p6.ug
examples/sparql/projection/p7/Q16a.lp
examples/sparql/projection/p7/Q16a.reify.lp
examples/sparql/projection/p7/Q16c.lp
examples/sparql/projection/p7/Q16c.reify.lp
examples/sparql/projection/p7/p7.reify.ug
examples/sparql/projection/p7/p7.ug
examples/sparql/projection/p8/Q17a.lp
examples/sparql/projection/p8/Q17a.reify.lp
examples/sparql/projection/p8/Q17b.lp
examples/sparql/projection/p8/Q17b.reify.lp
examples/sparql/projection/p8/p8.reify.ug
examples/sparql/projection/p8/p8.ug
examples/sparql/projection/p9/Q18a.lp
examples/sparql/projection/p9/Q18a.reify.lp
examples/sparql/projection/p9/Q18b.lp
examples/sparql/projection/p9/Q18b.reify.lp
examples/sparql/projection/p9/p9.reify.ug
examples/sparql/projection/p9/p9.ug
examples/sparql/rdfs/rdfs.csv
examples/sparql/rdfs/rdfs0/Q39a.lp
examples/sparql/rdfs/rdfs0/Q39a.reify.lp
examples/sparql/rdfs/rdfs0/Q39c.lp
examples/sparql/rdfs/rdfs0/Q39c.reify.lp
examples/sparql/rdfs/rdfs0/rdfs0.reify.ug
examples/sparql/rdfs/rdfs0/rdfs0.ug
examples/sparql/rdfs/rdfs1/Q39a.lp
examples/sparql/rdfs/rdfs1/Q39a.reify.lp
examples/sparql/rdfs/rdfs1/Q39c.lp
examples/sparql/rdfs/rdfs1/Q39c.reify.lp
examples/sparql/rdfs/rdfs1/rdfs1.reify.ug
examples/sparql/rdfs/rdfs1/rdfs1.ug
examples/sparql/rdfs/rdfs10/Q41a.lp
examples/sparql/rdfs/rdfs10/Q41a.reify.lp
examples/sparql/rdfs/rdfs10/Q41b.lp
examples/sparql/rdfs/rdfs10/Q41b.reify.lp
examples/sparql/rdfs/rdfs10/rdfs10.reify.ug
examples/sparql/rdfs/rdfs10/rdfs10.ug
examples/sparql/rdfs/rdfs11/Q41a.lp
examples/sparql/rdfs/rdfs11/Q41a.reify.lp
examples/sparql/rdfs/rdfs11/Q41e.lp
examples/sparql/rdfs/rdfs11/Q41e.reify.lp
examples/sparql/rdfs/rdfs11/rdfs11.reify.ug
examples/sparql/rdfs/rdfs11/rdfs11.ug
examples/sparql/rdfs/rdfs12/Q43a.lp
examples/sparql/rdfs/rdfs12/Q43a.reify.lp
examples/sparql/rdfs/rdfs12/Q43b.lp
examples/sparql/rdfs/rdfs12/Q43b.reify.lp
examples/sparql/rdfs/rdfs12/rdfs12.reify.ug
examples/sparql/rdfs/rdfs12/rdfs12.ug
examples/sparql/rdfs/rdfs13/Q43a.lp
examples/sparql/rdfs/rdfs13/Q43a.reify.lp
examples/sparql/rdfs/rdfs13/Q43c.lp
examples/sparql/rdfs/rdfs13/Q43c.reify.lp
examples/sparql/rdfs/rdfs13/rdfs13.reify.ug
examples/sparql/rdfs/rdfs13/rdfs13.ug
examples/sparql/rdfs/rdfs14/Q43b.lp
examples/sparql/rdfs/rdfs14/Q43b.reify.lp
examples/sparql/rdfs/rdfs14/Q43c.lp
examples/sparql/rdfs/rdfs14/Q43c.reify.lp
examples/sparql/rdfs/rdfs14/rdfs14.reify.ug
examples/sparql/rdfs/rdfs14/rdfs14.ug
examples/sparql/rdfs/rdfs2/Q39a.lp
examples/sparql/rdfs/rdfs2/Q39a.reify.lp
examples/sparql/rdfs/rdfs2/Q39b.lp
examples/sparql/rdfs/rdfs2/Q39b.reify.lp
examples/sparql/rdfs/rdfs2/rdfs2.reify.ug
examples/sparql/rdfs/rdfs2/rdfs2.ug
examples/sparql/rdfs/rdfs3/Q39b.lp
examples/sparql/rdfs/rdfs3/Q39b.reify.lp
examples/sparql/rdfs/rdfs3/Q39c.lp
examples/sparql/rdfs/rdfs3/Q39c.reify.lp
examples/sparql/rdfs/rdfs3/rdfs3.reify.ug
examples/sparql/rdfs/rdfs3/rdfs3.ug
examples/sparql/rdfs/rdfs4/Q39d.lp
examples/sparql/rdfs/rdfs4/Q39d.reify.lp
examples/sparql/rdfs/rdfs4/Q39e.lp
examples/sparql/rdfs/rdfs4/Q39e.reify.lp
examples/sparql/rdfs/rdfs4/rdfs4.reify.ug
examples/sparql/rdfs/rdfs4/rdfs4.ug
examples/sparql/rdfs/rdfs5/Q40b.lp
examples/sparql/rdfs/rdfs5/Q40b.reify.lp
examples/sparql/rdfs/rdfs5/Q40d.lp
examples/sparql/rdfs/rdfs5/Q40d.reify.lp
examples/sparql/rdfs/rdfs5/rdfs5.reify.ug
examples/sparql/rdfs/rdfs5/rdfs5.ug
examples/sparql/rdfs/rdfs6/Q40b.lp
examples/sparql/rdfs/rdfs6/Q40b.reify.lp
examples/sparql/rdfs/rdfs6/Q40e.lp
examples/sparql/rdfs/rdfs6/Q40e.reify.lp
examples/sparql/rdfs/rdfs6/rdfs6.reify.ug
examples/sparql/rdfs/rdfs6/rdfs6.ug
examples/sparql/rdfs/rdfs7/Q41b.lp
examples/sparql/rdfs/rdfs7/Q41b.reify.lp
examples/sparql/rdfs/rdfs7/Q41c.lp
examples/sparql/rdfs/rdfs7/Q41c.reify.lp
examples/sparql/rdfs/rdfs7/rdfs7.reify.ug
examples/sparql/rdfs/rdfs7/rdfs7.ug
examples/sparql/rdfs/rdfs8/Q41b.lp
examples/sparql/rdfs/rdfs8/Q41b.reify.lp
examples/sparql/rdfs/rdfs8/Q41d.lp
examples/sparql/rdfs/rdfs8/Q41d.reify.lp
examples/sparql/rdfs/rdfs8/rdfs8.reify.ug
examples/sparql/rdfs/rdfs8/rdfs8.ug
examples/sparql/rdfs/rdfs9/Q41c.lp
examples/sparql/rdfs/rdfs9/Q41c.reify.lp
examples/sparql/rdfs/rdfs9/Q41d.lp
examples/sparql/rdfs/rdfs9/Q41d.reify.lp
examples/sparql/rdfs/rdfs9/rdfs9.reify.ug
examples/sparql/rdfs/rdfs9/rdfs9.ug
examples/tiling/README.md
examples/tiling/assumptions.lp
examples/tiling/tiling.1.lp
examples/tiling/tiling.2.lp
examples/tiling/tiling.ug
examples/transitive/README.md
examples/transitive/assumptions.lp
examples/transitive/transitive.1.lp
examples/transitive/transitive.2.lp
examples/transitive/transitive.ug
examples/two-elements/README.md
examples/two-elements/two-elements.1.lp
examples/two-elements/two-elements.2.lp
examples/two-elements/two-elements.3.lp
examples/two-elements/two-elements.ug
examples/uniqueness/1.1.lp
examples/uniqueness/1.2.lp
examples/uniqueness/2.1.lp
examples/uniqueness/2.2.lp
examples/uniqueness/3.1.lp
examples/uniqueness/3.2.lp
examples/uniqueness/4.1.lp
examples/uniqueness/4.2.lp
examples/uniqueness/5.1.lp
examples/uniqueness/5.2.lp
examples/uniqueness/6.1.lp
examples/uniqueness/6.2.lp
examples/uniqueness/README.md
examples/uniqueness/uniqueness.ug
src/anthem_cx/__init__.py
src/anthem_cx/__main__.py
src/anthem_cx/cx_program.py
src/anthem_cx/py.typed
src/anthem_cx.egg-info/PKG-INFO
src/anthem_cx.egg-info/SOURCES.txt
src/anthem_cx.egg-info/dependency_links.txt
src/anthem_cx.egg-info/entry_points.txt
src/anthem_cx.egg-info/requires.txt
src/anthem_cx.egg-info/scm_file_list.json
src/anthem_cx.egg-info/scm_version.json
src/anthem_cx.egg-info/top_level.txt
src/anthem_cx/analysis/__init__.py
src/anthem_cx/analysis/assumptions.py
src/anthem_cx/analysis/conflict.py
src/anthem_cx/analysis/dependency.py
src/anthem_cx/analysis/inputs.py
src/anthem_cx/analysis/local.py
src/anthem_cx/transformation/__init__.py
src/anthem_cx/transformation/aggregate.py
src/anthem_cx/transformation/choice.py
src/anthem_cx/transformation/head.py
src/anthem_cx/transformation/public_reduct.py
src/anthem_cx/transformation/reject_classical_negation.py
src/anthem_cx/transformation/reject_disjunction.py
src/anthem_cx/utils/__init__.py
src/anthem_cx/utils/data.py
src/anthem_cx/utils/errors.py
src/anthem_cx/utils/guess_and_check.py
src/anthem_cx/utils/logging.py
src/anthem_cx/utils/output.py
src/anthem_cx/utils/parse_program.py
src/anthem_cx/utils/parse_user_guide.py
src/anthem_cx/utils/parser.py
src/anthem_cx/utils/solving.py
src/anthem_cx/utils/transformation.py
tests/__init__.py
tests/py.typed
tests/test_assemble.py
tests/test_cx_program.py
tests/test_main.py
tests/analysis/__init__.py
tests/analysis/test_assumptions.py
tests/analysis/test_conflict.py
tests/analysis/test_dependency.py
tests/analysis/test_inputs.py
tests/analysis/test_local.py
tests/transformation/__init__.py
tests/transformation/test_aggregate.py
tests/transformation/test_choice.py
tests/transformation/test_head.py
tests/transformation/test_public_reduct.py
tests/transformation/test_reject_classical_negation.py
tests/transformation/test_reject_disjunction.py
tests/utils/__init__.py
tests/utils/test_data.py
tests/utils/test_output.py
tests/utils/test_parse_program.py
tests/utils/test_parse_user_guide.py
tests/utils/test_solving.py
tests/utils/test_transformation.py