clingexplaid 1.2.1__tar.gz → 1.2.2__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (113) hide show
  1. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/PKG-INFO +1 -1
  2. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/transformer_rule_id.py +1 -1
  3. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid.egg-info/PKG-INFO +1 -1
  4. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_rule_ids.lp +1 -1
  5. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/.envrc +0 -0
  6. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/.github/workflows/deploy.yml +0 -0
  7. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/.github/workflows/test.yml +0 -0
  8. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/.gitignore +0 -0
  9. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/.pre-commit-config.yaml +0 -0
  10. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/.readthedocs.yaml +0 -0
  11. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/CHANGES.md +0 -0
  12. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/CONTRIBUTING.md +0 -0
  13. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/DEPLOYMENT.md +0 -0
  14. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/DEVELOPMENT.md +0 -0
  15. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/LICENSE +0 -0
  16. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/LIMITATIONS.md +0 -0
  17. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/README.md +0 -0
  18. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/TODO.md +0 -0
  19. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/Makefile +0 -0
  20. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/_static/css/custom.css +0 -0
  21. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/_static/logo-dark-mode.png +0 -0
  22. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/_static/logo-light-mode.png +0 -0
  23. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/conf.py +0 -0
  24. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/content/encodings/index.md +0 -0
  25. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/content/encodings/instance.md +0 -0
  26. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/content/installation.md +0 -0
  27. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/content/quickstart.md +0 -0
  28. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/index.md +0 -0
  29. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/graph_coloring/README.md +0 -0
  30. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/graph_coloring/encoding.lp +0 -0
  31. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/graph_coloring/graph_coloring_example.svg +0 -0
  32. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/graph_coloring/instance.lp +0 -0
  33. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/bad_mucs.lp +0 -0
  34. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/sat.lp +0 -0
  35. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/sat_simple.lp +0 -0
  36. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/simple.lp +0 -0
  37. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/soup.lp +0 -0
  38. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/sudoku_4x4.lp +0 -0
  39. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/sudoku_encoding.lp +0 -0
  40. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/sudoku_encoding_2.lp +0 -0
  41. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/test/blob.lp +0 -0
  42. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/test.lp +0 -0
  43. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/test2.lp +0 -0
  44. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/test3.lp +0 -0
  45. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/test4.lp +0 -0
  46. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/test_inert.lp +0 -0
  47. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/x.lp +0 -0
  48. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/misc/zero_arity_assumptions.lp +0 -0
  49. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/queens/README.md +0 -0
  50. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/queens/encoding.lp +0 -0
  51. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/queens/instance.lp +0 -0
  52. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/queens/queens_example.svg +0 -0
  53. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/sudoku/README.md +0 -0
  54. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/sudoku/encoding.lp +0 -0
  55. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/sudoku/instance.lp +0 -0
  56. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/examples/sudoku/sudoku_example.svg +0 -0
  57. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/noxfile.py +0 -0
  58. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/pyproject.toml +0 -0
  59. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/setup.cfg +0 -0
  60. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/__init__.py +0 -0
  61. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/mus/__init__.py +0 -0
  62. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/mus/core_computer.py +0 -0
  63. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/propagators/__init__.py +0 -0
  64. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/propagators/constants.py +0 -0
  65. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/propagators/propagator_solver_decisions.py +0 -0
  66. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/py.typed +0 -0
  67. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/__init__.py +0 -0
  68. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/constants.py +0 -0
  69. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/exceptions.py +0 -0
  70. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/transformer_assumption.py +0 -0
  71. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/transformer_constraint.py +0 -0
  72. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/transformer_fact.py +0 -0
  73. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/transformer_optimization_remover.py +0 -0
  74. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/transformer_rule_splitter.py +0 -0
  75. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/unsat_constraints/__init__.py +0 -0
  76. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/unsat_constraints/constants.py +0 -0
  77. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/unsat_constraints/unsat_constraint_computer.py +0 -0
  78. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/utils/__init__.py +0 -0
  79. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/utils/logging.py +0 -0
  80. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/utils/match.py +0 -0
  81. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/utils/parser.py +0 -0
  82. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/utils/symbols.py +0 -0
  83. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/utils/types.py +0 -0
  84. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid.egg-info/SOURCES.txt +0 -0
  85. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid.egg-info/dependency_links.txt +0 -0
  86. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid.egg-info/requires.txt +0 -0
  87. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid.egg-info/top_level.txt +0 -0
  88. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/__init__.py +0 -0
  89. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/__init__.py +0 -0
  90. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/test_program.lp +0 -0
  91. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/test_program_constants.lp +0 -0
  92. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/test_program_constraints.lp +0 -0
  93. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/test_program_decision_order.lp +0 -0
  94. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/test_program_multi_mus.lp +0 -0
  95. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/test_program_optimization.lp +0 -0
  96. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/test_program_pattern.lp +0 -0
  97. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/test_program_rules.lp +0 -0
  98. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/test_program_unsat_constraints.lp +0 -0
  99. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_assumptions_all.lp +0 -0
  100. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_assumptions_certain_signatures.lp +0 -0
  101. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_constraints.lp +0 -0
  102. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_constraints_id.lp +0 -0
  103. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_facts.lp +0 -0
  104. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_optimization.lp +0 -0
  105. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_pattern.lp +0 -0
  106. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_rules_split.lp +0 -0
  107. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/test_main.py +0 -0
  108. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/test_muc.py +0 -0
  109. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/test_transformers.py +0 -0
  110. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/test_unsat_constraints.py +0 -0
  111. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/test_utils.py +0 -0
  112. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/py.typed +0 -0
  113. {clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/test_main.py +0 -0
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: clingexplaid
3
- Version: 1.2.1
3
+ Version: 1.2.2
4
4
  Summary: Tools to aid the development of explanation systems using clingo
5
5
  Author-email: Hannes Weichelt <hweichelt@uni-potsdam.de>, Susana Hahn <susuhahnml@yahoo.com.mx>
6
6
  Maintainer-email: Hannes Weichelt <hweichelt@uni-potsdam.de>
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid/transformers/transformer_rule_id.py RENAMED
@@ -55,7 +55,7 @@ class RuleIDTransformer(_ast.Transformer):
55
55
  out = []
56
56
  _ast.parse_string(string, lambda stm: out.append((str(self(stm)))))
57
57
  out.append(
58
- f"{{_rule(1..{self._get_number_of_rules()})}}"
58
+ f"{{_rule(1..{self._get_number_of_rules()})}}."
59
59
  f" % Choice rule to allow all _rule atoms to become assumptions"
60
60
  )
61
61
 
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/src/clingexplaid.egg-info/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: clingexplaid
3
- Version: 1.2.1
3
+ Version: 1.2.2
4
4
  Summary: Tools to aid the development of explanation systems using clingo
5
5
  Author-email: Hannes Weichelt <hweichelt@uni-potsdam.de>, Susana Hahn <susuhahnml@yahoo.com.mx>
6
6
  Maintainer-email: Hannes Weichelt <hweichelt@uni-potsdam.de>
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/tests/clingexplaid/res/transformed_program_rule_ids.lp RENAMED
@@ -6,4 +6,4 @@ d((10..15)) :- _rule(4).
6
6
  e(16) :- _rule(5).
7
7
  f(17); f(18) :- e(16); _rule(6).
8
8
  x(19) :- _rule(7).
9
- {_rule(1..7)} % Choice rule to allow all _rule atoms to become assumptions
9
+ {_rule(1..7)}. % Choice rule to allow all _rule atoms to become assumptions
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/.envrc RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/.gitignore RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/CHANGES.md RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/DEPLOYMENT.md RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/LICENSE RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/README.md RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/TODO.md RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/Makefile RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/conf.py RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/doc/index.md RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/noxfile.py RENAMED
File without changes
{clingexplaid-1.2.1 → clingexplaid-1.2.2}/setup.cfg RENAMED
File without changes