PySMT 0.9.7.dev333__tar.gz → 0.9.7.dev337__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 (164) hide show
  1. {PySMT-0.9.7.dev333/PySMT.egg-info → PySMT-0.9.7.dev337}/PKG-INFO +1 -1
  2. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337/PySMT.egg-info}/PKG-INFO +1 -1
  3. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/__init__.py +1 -1
  4. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/factory.py +10 -5
  5. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/LICENSE +0 -0
  6. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/MANIFEST.in +0 -0
  7. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/NOTICE +0 -0
  8. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/PySMT.egg-info/SOURCES.txt +0 -0
  9. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/PySMT.egg-info/dependency_links.txt +0 -0
  10. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/PySMT.egg-info/entry_points.txt +0 -0
  11. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/PySMT.egg-info/top_level.txt +0 -0
  12. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/README.rst +0 -0
  13. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/docs/CHANGES.rst +0 -0
  14. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/docs/api_ref.rst +0 -0
  15. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/docs/development.rst +0 -0
  16. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/docs/getting_started.rst +0 -0
  17. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/docs/index.rst +0 -0
  18. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/docs/tutorials/boolean_logic.rst +0 -0
  19. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/docs/tutorials.rst +0 -0
  20. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/__main__.py +0 -0
  21. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/__init__.py +0 -0
  22. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/check_version.py +0 -0
  23. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/install.py +0 -0
  24. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/__init__.py +0 -0
  25. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/base.py +0 -0
  26. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/bdd.py +0 -0
  27. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/btor.py +0 -0
  28. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/cvcfive.py +0 -0
  29. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/cvcfour.py +0 -0
  30. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/msat.py +0 -0
  31. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/optimsat.py +0 -0
  32. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/pico.py +0 -0
  33. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/yices.py +0 -0
  34. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/installers/z3.py +0 -0
  35. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/cmd/shell.py +0 -0
  36. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/configuration.py +0 -0
  37. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/constants.py +0 -0
  38. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/decorators.py +0 -0
  39. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/environment.py +0 -0
  40. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/exceptions.py +0 -0
  41. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/fnode.py +0 -0
  42. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/formula.py +0 -0
  43. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/logics.py +0 -0
  44. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/operators.py +0 -0
  45. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/optimization/__init__.py +0 -0
  46. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/optimization/goal.py +0 -0
  47. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/optimization/msat.py +0 -0
  48. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/optimization/optimizer.py +0 -0
  49. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/optimization/optimsat.py +0 -0
  50. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/optimization/yices.py +0 -0
  51. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/optimization/z3.py +0 -0
  52. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/oracles.py +0 -0
  53. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/parsing.py +0 -0
  54. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/printers.py +0 -0
  55. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/rewritings.py +0 -0
  56. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/shortcuts.py +0 -0
  57. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/simplifier.py +0 -0
  58. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/smtlib/__init__.py +0 -0
  59. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/smtlib/annotations.py +0 -0
  60. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/smtlib/commands.py +0 -0
  61. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/smtlib/parser/__init__.py +0 -0
  62. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/smtlib/parser/parser.py +0 -0
  63. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/smtlib/printers.py +0 -0
  64. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/smtlib/script.py +0 -0
  65. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/smtlib/solver.py +0 -0
  66. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/smtlib/utils.py +0 -0
  67. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/__init__.py +0 -0
  68. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/bdd.py +0 -0
  69. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/btor.py +0 -0
  70. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/cvcfive.py +0 -0
  71. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/cvcfour.py +0 -0
  72. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/dynmsat.py +0 -0
  73. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/eager.py +0 -0
  74. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/interpolation.py +0 -0
  75. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/msat.py +0 -0
  76. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/options.py +0 -0
  77. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/pico.py +0 -0
  78. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/portfolio.py +0 -0
  79. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/qelim.py +0 -0
  80. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/smtlib.py +0 -0
  81. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/solver.py +0 -0
  82. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/yices.py +0 -0
  83. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/solvers/z3.py +0 -0
  84. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/substituter.py +0 -0
  85. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/__init__.py +0 -0
  86. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/configs/config1.ini +0 -0
  87. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/configs/config_bad.ini +0 -0
  88. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/examples.py +0 -0
  89. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/omt_examples.py +0 -0
  90. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/optimization_utils.py +0 -0
  91. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/__init__.py +0 -0
  92. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/parser_utils.py +0 -0
  93. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_annotations.py +0 -0
  94. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_fuzzed.py +0 -0
  95. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_generic_wrapper.py +0 -0
  96. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_griggio.py +0 -0
  97. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_model_validation.py +0 -0
  98. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_omt_lib_solver.py +0 -0
  99. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_examples.py +0 -0
  100. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_extensibility.py +0 -0
  101. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_lra.py +0 -0
  102. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_omt.py +0 -0
  103. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_qf_arrays.py +0 -0
  104. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_qf_lia.py +0 -0
  105. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_qf_lira.py +0 -0
  106. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_qf_lra.py +0 -0
  107. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_qf_nia.py +0 -0
  108. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_qf_nra.py +0 -0
  109. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_qf_uf.py +0 -0
  110. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_qf_ufbv.py +0 -0
  111. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_parser_type_error.py +0 -0
  112. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/smtlib/test_smtlibscript.py +0 -0
  113. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_array.py +0 -0
  114. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_back.py +0 -0
  115. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_bdd.py +0 -0
  116. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_bv.py +0 -0
  117. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_bv_simplification.py +0 -0
  118. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_cnf.py +0 -0
  119. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_configuration.py +0 -0
  120. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_constants.py +0 -0
  121. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_cvc_quantifiers.py +0 -0
  122. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_dwf.py +0 -0
  123. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_eager_model.py +0 -0
  124. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_env.py +0 -0
  125. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_euf.py +0 -0
  126. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_formula.py +0 -0
  127. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_hr_parsing.py +0 -0
  128. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_imports.py +0 -0
  129. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_int.py +0 -0
  130. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_interpolation.py +0 -0
  131. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_lira.py +0 -0
  132. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_logics.py +0 -0
  133. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_models.py +0 -0
  134. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_native_qe.py +0 -0
  135. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_nia.py +0 -0
  136. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_nlira.py +0 -0
  137. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_optimization.py +0 -0
  138. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_optimizing.py +0 -0
  139. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_oracles.py +0 -0
  140. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_portfolio.py +0 -0
  141. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_printing.py +0 -0
  142. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_qe.py +0 -0
  143. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_regressions.py +0 -0
  144. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_rewritings.py +0 -0
  145. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_shannon_expansion.py +0 -0
  146. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_simplify.py +0 -0
  147. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_size.py +0 -0
  148. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_solving.py +0 -0
  149. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_sorts.py +0 -0
  150. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_string.py +0 -0
  151. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_typechecker.py +0 -0
  152. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_unsat_cores.py +0 -0
  153. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_walker_ext.py +0 -0
  154. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/test/test_walkers.py +0 -0
  155. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/type_checker.py +0 -0
  156. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/typing.py +0 -0
  157. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/utils.py +0 -0
  158. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/walkers/__init__.py +0 -0
  159. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/walkers/dag.py +0 -0
  160. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/walkers/generic.py +0 -0
  161. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/walkers/identitydag.py +0 -0
  162. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/pysmt/walkers/tree.py +0 -0
  163. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/setup.cfg +0 -0
  164. {PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/setup.py +0 -0
{PySMT-0.9.7.dev333/PySMT.egg-info → PySMT-0.9.7.dev337}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 1.0
2
2
  Name: PySMT
3
- Version: 0.9.7.dev333
3
+ Version: 0.9.7.dev337
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.dev333 → PySMT-0.9.7.dev337/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.dev333
3
+ Version: 0.9.7.dev337
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.dev333 → PySMT-0.9.7.dev337}/pysmt/__init__.py RENAMED
@@ -16,7 +16,7 @@
16
16
  # limitations under the License.
17
17
  #
18
18
 
19
- VERSION = (0, 9, 7, "dev", 333)
19
+ VERSION = (0, 9, 7, "dev", 337)
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.dev333 → PySMT-0.9.7.dev337}/pysmt/factory.py RENAMED
@@ -321,10 +321,11 @@ class Factory(object):
321
321
  from pysmt.solvers.msat import (MSatFMQuantifierEliminator,
322
322
  MSatLWQuantifierEliminator)
323
323
  try:
324
- MSatFMQuantifierEliminator()
325
- MSatLWQuantifierEliminator()
326
- except:
324
+ MSatFMQuantifierEliminator(self.environment)
325
+ MSatLWQuantifierEliminator(self.environment)
326
+ except NotImplementedError:
327
327
  raise SolverAPINotFound
328
+
328
329
  self._all_qelims['msat_fm'] = MSatFMQuantifierEliminator
329
330
  self._all_qelims['msat_lw'] = MSatLWQuantifierEliminator
330
331
  except SolverAPINotFound:
@@ -335,6 +336,12 @@ class Factory(object):
335
336
  MSATLibLoader("optimathsat")
336
337
  from pysmt.optimization.optimsat import (OptiMSATFMQuantifierEliminator,
337
338
  OptiMSATLWQuantifierEliminator)
339
+ try:
340
+ OptiMSATFMQuantifierEliminator(self.environment)
341
+ OptiMSATLWQuantifierEliminator(self.environment)
342
+ except NotImplementedError:
343
+ raise SolverAPINotFound
344
+
338
345
  self._all_qelims['optimsat_fm'] = OptiMSATFMQuantifierEliminator
339
346
  self._all_qelims['optimsat_lw'] = OptiMSATLWQuantifierEliminator
340
347
  except SolverAPINotFound:
@@ -397,8 +404,6 @@ class Factory(object):
397
404
  self._all_optimizers['optimsat'] = OptiMSATSolver
398
405
  except SolverAPINotFound:
399
406
  pass
400
- except SolverAPINotFound:
401
- pass
402
407
 
403
408
  try:
404
409
  from pysmt.optimization.yices import YicesSUAOptimizer, YicesIncrementalOptimizer
{PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/LICENSE RENAMED
File without changes
{PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/MANIFEST.in RENAMED
File without changes
{PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/NOTICE RENAMED
File without changes
{PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/README.rst RENAMED
File without changes
{PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/setup.cfg RENAMED
File without changes
{PySMT-0.9.7.dev333 → PySMT-0.9.7.dev337}/setup.py RENAMED
File without changes