PySMT 0.9.7.dev101__tar.gz → 0.9.7.dev105__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 (149) hide show
  1. {PySMT-0.9.7.dev101/PySMT.egg-info → PySMT-0.9.7.dev105}/PKG-INFO +1 -1
  2. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105/PySMT.egg-info}/PKG-INFO +1 -1
  3. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/docs/CHANGES.rst +5 -3
  4. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/__init__.py +1 -1
  5. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/LICENSE +0 -0
  6. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/MANIFEST.in +0 -0
  7. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/NOTICE +0 -0
  8. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/PySMT.egg-info/SOURCES.txt +0 -0
  9. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/PySMT.egg-info/dependency_links.txt +0 -0
  10. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/PySMT.egg-info/entry_points.txt +0 -0
  11. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/PySMT.egg-info/top_level.txt +0 -0
  12. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/README.rst +0 -0
  13. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/docs/api_ref.rst +0 -0
  14. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/docs/development.rst +0 -0
  15. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/docs/getting_started.rst +0 -0
  16. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/docs/index.rst +0 -0
  17. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/docs/tutorials/boolean_logic.rst +0 -0
  18. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/docs/tutorials.rst +0 -0
  19. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/__main__.py +0 -0
  20. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/__init__.py +0 -0
  21. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/check_version.py +0 -0
  22. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/install.py +0 -0
  23. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/__init__.py +0 -0
  24. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/base.py +0 -0
  25. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/bdd.py +0 -0
  26. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/btor.py +0 -0
  27. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/cvcfive.py +0 -0
  28. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/cvcfour.py +0 -0
  29. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/msat.py +0 -0
  30. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/pico.py +0 -0
  31. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/yices.py +0 -0
  32. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/installers/z3.py +0 -0
  33. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/cmd/shell.py +0 -0
  34. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/configuration.py +0 -0
  35. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/constants.py +0 -0
  36. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/decorators.py +0 -0
  37. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/environment.py +0 -0
  38. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/exceptions.py +0 -0
  39. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/factory.py +0 -0
  40. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/fnode.py +0 -0
  41. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/formula.py +0 -0
  42. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/logics.py +0 -0
  43. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/operators.py +0 -0
  44. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/oracles.py +0 -0
  45. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/parsing.py +0 -0
  46. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/printers.py +0 -0
  47. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/rewritings.py +0 -0
  48. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/shortcuts.py +0 -0
  49. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/simplifier.py +0 -0
  50. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/smtlib/__init__.py +0 -0
  51. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/smtlib/annotations.py +0 -0
  52. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/smtlib/commands.py +0 -0
  53. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/smtlib/parser/__init__.py +0 -0
  54. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/smtlib/parser/parser.py +0 -0
  55. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/smtlib/printers.py +0 -0
  56. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/smtlib/script.py +0 -0
  57. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/smtlib/solver.py +0 -0
  58. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/smtlib/utils.py +0 -0
  59. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/__init__.py +0 -0
  60. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/bdd.py +0 -0
  61. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/btor.py +0 -0
  62. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/cvcfive.py +0 -0
  63. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/cvcfour.py +0 -0
  64. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/eager.py +0 -0
  65. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/interpolation.py +0 -0
  66. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/msat.py +0 -0
  67. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/options.py +0 -0
  68. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/pico.py +0 -0
  69. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/portfolio.py +0 -0
  70. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/qelim.py +0 -0
  71. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/smtlib.py +0 -0
  72. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/solver.py +0 -0
  73. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/yices.py +0 -0
  74. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/solvers/z3.py +0 -0
  75. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/substituter.py +0 -0
  76. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/__init__.py +0 -0
  77. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/configs/config1.ini +0 -0
  78. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/configs/config_bad.ini +0 -0
  79. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/examples.py +0 -0
  80. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/__init__.py +0 -0
  81. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/parser_utils.py +0 -0
  82. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_annotations.py +0 -0
  83. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_fuzzed.py +0 -0
  84. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_generic_wrapper.py +0 -0
  85. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_griggio.py +0 -0
  86. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_model_validation.py +0 -0
  87. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_examples.py +0 -0
  88. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_extensibility.py +0 -0
  89. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_lra.py +0 -0
  90. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_qf_arrays.py +0 -0
  91. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_qf_lia.py +0 -0
  92. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_qf_lira.py +0 -0
  93. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_qf_lra.py +0 -0
  94. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_qf_nia.py +0 -0
  95. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_qf_nra.py +0 -0
  96. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_qf_uf.py +0 -0
  97. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_qf_ufbv.py +0 -0
  98. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_parser_type_error.py +0 -0
  99. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/smtlib/test_smtlibscript.py +0 -0
  100. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_array.py +0 -0
  101. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_back.py +0 -0
  102. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_bdd.py +0 -0
  103. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_bv.py +0 -0
  104. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_bv_simplification.py +0 -0
  105. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_cnf.py +0 -0
  106. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_configuration.py +0 -0
  107. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_constants.py +0 -0
  108. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_cvc_quantifiers.py +0 -0
  109. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_dwf.py +0 -0
  110. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_eager_model.py +0 -0
  111. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_env.py +0 -0
  112. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_euf.py +0 -0
  113. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_formula.py +0 -0
  114. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_hr_parsing.py +0 -0
  115. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_imports.py +0 -0
  116. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_int.py +0 -0
  117. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_interpolation.py +0 -0
  118. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_lira.py +0 -0
  119. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_logics.py +0 -0
  120. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_models.py +0 -0
  121. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_native_qe.py +0 -0
  122. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_nia.py +0 -0
  123. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_nlira.py +0 -0
  124. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_oracles.py +0 -0
  125. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_portfolio.py +0 -0
  126. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_printing.py +0 -0
  127. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_qe.py +0 -0
  128. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_regressions.py +0 -0
  129. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_rewritings.py +0 -0
  130. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_shannon_expansion.py +0 -0
  131. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_simplify.py +0 -0
  132. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_size.py +0 -0
  133. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_solving.py +0 -0
  134. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_sorts.py +0 -0
  135. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_string.py +0 -0
  136. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_typechecker.py +0 -0
  137. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_unsat_cores.py +0 -0
  138. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_walker_ext.py +0 -0
  139. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/test/test_walkers.py +0 -0
  140. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/type_checker.py +0 -0
  141. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/typing.py +0 -0
  142. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/utils.py +0 -0
  143. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/walkers/__init__.py +0 -0
  144. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/walkers/dag.py +0 -0
  145. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/walkers/generic.py +0 -0
  146. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/walkers/identitydag.py +0 -0
  147. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/walkers/tree.py +0 -0
  148. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/setup.cfg +0 -0
  149. {PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/setup.py +0 -0
{PySMT-0.9.7.dev101/PySMT.egg-info → PySMT-0.9.7.dev105}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 1.0
2
2
  Name: PySMT
3
- Version: 0.9.7.dev101
3
+ Version: 0.9.7.dev105
4
4
  Summary: A solver-agnostic library for SMT Formulae manipulation and solving
5
5
  Home-page: http://www.pysmt.org
6
6
  Author: PySMT Team
{PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105/PySMT.egg-info}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 1.0
2
2
  Name: PySMT
3
- Version: 0.9.7.dev101
3
+ Version: 0.9.7.dev105
4
4
  Summary: A solver-agnostic library for SMT Formulae manipulation and solving
5
5
  Home-page: http://www.pysmt.org
6
6
  Author: PySMT Team
{PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/docs/CHANGES.rst RENAMED
@@ -4,7 +4,8 @@ Change Log
4
4
  0.9.6: 2022-06-24 -- CVC5 and upgraded solvers
5
5
  ----------------------------------------------
6
6
 
7
- ## What's Changed
7
+ **What's Changed**:
8
+
8
9
  * Fixed issue #613 by @mikand in https://github.com/pysmt/pysmt/pull/710 - Thanks @ekiwi for reporting
9
10
  * Fix missing file in Manifest by @marcogario in https://github.com/pysmt/pysmt/pull/718
10
11
  * Upgrade MathSAT to 5.6.6 by @marcogario in https://github.com/pysmt/pysmt/pull/720
@@ -26,7 +27,8 @@ Change Log
26
27
  * [Boolector] Add support for const arrays and boolean indices/elements by @nbailluet in https://github.com/pysmt/pysmt/pull/771
27
28
  * Update of all solvers by @mikand in https://github.com/pysmt/pysmt/pull/761
28
29
 
29
- ## New Contributors
30
+ **New Contributors**
31
+
30
32
  * @jayvdb made their first contribution in https://github.com/pysmt/pysmt/pull/724
31
33
  * @akumm2k made their first contribution in https://github.com/pysmt/pysmt/pull/734
32
34
  * @YikeZhou made their first contribution in https://github.com/pysmt/pysmt/pull/748
@@ -44,7 +46,7 @@ Intermediate release that collects 2 years of bugfixes and improvements.
44
46
 
45
47
  Python 2 was deprecated in version 0.9.0, and this version removes the use of compatible code for that version.
46
48
 
47
- ## What's Changed
49
+ **What's Changed**:
48
50
 
49
51
  * Add support for boolean-typed array in the AtomsOracle by @mikand in https://github.com/pysmt/pysmt/pull/644
50
52
  * Switched from nosetests to pytest by @mikand in https://github.com/pysmt/pysmt/pull/662
{PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/pysmt/__init__.py RENAMED
@@ -16,7 +16,7 @@
16
16
  # limitations under the License.
17
17
  #
18
18
 
19
- VERSION = (0, 9, 7, "dev", 101)
19
+ VERSION = (0, 9, 7, "dev", 105)
20
20
 
21
21
  # Try to provide human-readable version of latest commit for dev versions
22
22
  # E.g. v0.5.1-4-g49a49f2-wip
{PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/LICENSE RENAMED
File without changes
{PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/MANIFEST.in RENAMED
File without changes
{PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/NOTICE RENAMED
File without changes
{PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/README.rst RENAMED
File without changes
{PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/setup.cfg RENAMED
File without changes
{PySMT-0.9.7.dev101 → PySMT-0.9.7.dev105}/setup.py RENAMED
File without changes