flamapy-sat 2.0.0.dev6__tar.gz → 2.0.0.dev7__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 (51) hide show
  1. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/PKG-INFO +1 -1
  2. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy_sat.egg-info/PKG-INFO +1 -1
  3. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy_sat.egg-info/requires.txt +1 -1
  4. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/setup.py +1 -1
  5. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/README.md +0 -0
  6. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/__init__.py +0 -0
  7. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/models/__init__.py +0 -0
  8. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/models/pysat_diagnosis_model.py +0 -0
  9. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/__init__.py +0 -0
  10. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/__init__.py +0 -0
  11. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/checker.py +0 -0
  12. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/fastdiag.py +0 -0
  13. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/hsdag/__init__.py +0 -0
  14. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/hsdag/hsdag.py +0 -0
  15. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/hsdag/labeler/__init__.py +0 -0
  16. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/hsdag/labeler/fastdiag_labeler.py +0 -0
  17. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/hsdag/labeler/labeler.py +0 -0
  18. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/hsdag/labeler/quickxplain_labeler.py +0 -0
  19. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/hsdag/node.py +0 -0
  20. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/quickxplain.py +0 -0
  21. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/diagnosis/utils.py +0 -0
  22. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/pysat_abstract_identifier.py +0 -0
  23. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/pysat_conflict.py +0 -0
  24. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/operations/pysat_diagnosis.py +0 -0
  25. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/transformations/__init__.py +0 -0
  26. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_diagnosis_metamodel/transformations/fm_to_diag_pysat.py +0 -0
  27. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/__init__.py +0 -0
  28. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/models/__init__.py +0 -0
  29. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/models/pysat_model.py +0 -0
  30. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/models/txtcnf_model.py +0 -0
  31. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/__init__.py +0 -0
  32. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_commonality.py +0 -0
  33. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_configurations.py +0 -0
  34. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_configurations_number.py +0 -0
  35. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_core_features.py +0 -0
  36. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_dead_features.py +0 -0
  37. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_false_optional_features.py +0 -0
  38. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_filter.py +0 -0
  39. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_metrics.py +0 -0
  40. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_sampling.py +0 -0
  41. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_satisfiable.py +0 -0
  42. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/operations/pysat_satisfiable_configuration.py +0 -0
  43. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/transformations/__init__.py +0 -0
  44. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/transformations/cnf_to_pysat.py +0 -0
  45. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/transformations/dimacs_reader.py +0 -0
  46. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/transformations/dimacs_writer.py +0 -0
  47. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py +0 -0
  48. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy_sat.egg-info/SOURCES.txt +0 -0
  49. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy_sat.egg-info/dependency_links.txt +0 -0
  50. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy_sat.egg-info/top_level.txt +0 -0
  51. {flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/setup.cfg +0 -0
{flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: flamapy-sat
3
- Version: 2.0.0.dev6
3
+ Version: 2.0.0.dev7
4
4
  Summary: flamapy-sat is a plugin to flamapy module
5
5
  Home-page: https://github.com/flamapy/pysat_metamodel
6
6
  Author: Flamapy
{flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy_sat.egg-info/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: flamapy-sat
3
- Version: 2.0.0.dev6
3
+ Version: 2.0.0.dev7
4
4
  Summary: flamapy-sat is a plugin to flamapy module
5
5
  Home-page: https://github.com/flamapy/pysat_metamodel
6
6
  Author: Flamapy
{flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/flamapy_sat.egg-info/requires.txt RENAMED
@@ -1,5 +1,5 @@
1
1
  flamapy-fw==2.0.0.dev6
2
- flamapy-fm==2.0.0.dev6
2
+ flamapy-fm==2.0.0.dev7
3
3
  python-sat~=0.1.7.dev1
4
4
 
5
5
  [dev]
{flamapy-sat-2.0.0.dev6 → flamapy-sat-2.0.0.dev7}/setup.py RENAMED
@@ -16,7 +16,7 @@ dev_requirements = read_requirements("requirements-dev.txt")
16
16
 
17
17
  setuptools.setup(
18
18
  name="flamapy-sat",
19
- version="2.0.0.dev6",
19
+ version="2.0.0.dev7",
20
20
  author="Flamapy",
21
21
  author_email="flamapy@us.es",
22
22
  description="flamapy-sat is a plugin to flamapy module",