PySMT 0.9.7.dev108__py2.py3-none-any.whl → 0.9.7.dev112__py2.py3-none-any.whl

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 (10) hide show
  1. {PySMT-0.9.7.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/METADATA +1 -1
  2. {PySMT-0.9.7.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/RECORD +10 -10
  3. {PySMT-0.9.7.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/WHEEL +1 -1
  4. pysmt/__init__.py +1 -1
  5. pysmt/cmd/install.py +2 -1
  6. pysmt/cmd/installers/msat.py +1 -1
  7. {PySMT-0.9.7.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/LICENSE +0 -0
  8. {PySMT-0.9.7.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/NOTICE +0 -0
  9. {PySMT-0.9.7.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/entry_points.txt +0 -0
  10. {PySMT-0.9.7.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/top_level.txt +0 -0
{PySMT-0.9.7.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/METADATA RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: PySMT
3
- Version: 0.9.7.dev108
3
+ Version: 0.9.7.dev112
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.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/RECORD RENAMED
@@ -1,4 +1,4 @@
1
- pysmt/__init__.py,sha256=wAX2WsG72ynXZNqJaQimeVe3mNH0xuluZ96I9X9Q-V4,1598
1
+ pysmt/__init__.py,sha256=TKZ-kovL6HGfhI1GXWf0irhLNCok5tC7mk91ClJgyas,1598
2
2
  pysmt/__main__.py,sha256=rR-MV1QtLYqtVoJyY3m5B5Iz-lua0-5o6YSB0W4lKy8,1085
3
3
  pysmt/configuration.py,sha256=q4Ncd6f2d0VZUpyQAOR8sTPlTodgDnYhUBeRgYYXqTE,4539
4
4
  pysmt/constants.py,sha256=QelM9r5fGWSq8UNjjYoEJK2FaLHRr4Z9NZxzjeajEWA,5249
@@ -22,7 +22,7 @@ pysmt/typing.py,sha256=GioU08mUxqsjFmmAYfBYj51mmJoBcFZDunc-t99QKng,17714
22
22
  pysmt/utils.py,sha256=t13jG-E8kQNxG_JmS79GDy3SnBohSobwjJTjZHFf3fE,2302
23
23
  pysmt/cmd/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
24
24
  pysmt/cmd/check_version.py,sha256=yeY_USo11j60iLjpNcAvq5gAj2i43IiOWcP1dwJS3Rw,2352
25
- pysmt/cmd/install.py,sha256=l3a-eBhsBIKvR1PEeNM9WYvQH46Ie8vUOzzh6VmWVzs,10239
25
+ pysmt/cmd/install.py,sha256=kk0tTiyc7gv_4xzuudTe6bioNucHJdbZsu1xPbCsd34,10294
26
26
  pysmt/cmd/shell.py,sha256=ww1juthvLnJQciVHWxYvTJaA5W3-Np0ORfESyePF0bI,4333
27
27
  pysmt/cmd/installers/__init__.py,sha256=nHJaEXfCpsEkzBy0NL91P9extUda6jb0u88nwPYTvGo,1170
28
28
  pysmt/cmd/installers/base.py,sha256=1usHiBHrIBam9BlbVKG-6F52KPsIkJBeghkd_ckh-8U,12811
@@ -30,7 +30,7 @@ pysmt/cmd/installers/bdd.py,sha256=Qq8YlYAVvxUqNXjoOlH9_Lhj4cj6WEt7HuhbSiF_L6k,2
30
30
  pysmt/cmd/installers/btor.py,sha256=0fsCJEKqQ_Y4HURYNct-F3ui8Zsk5qd4Gp0AWRXAUBo,4067
31
31
  pysmt/cmd/installers/cvcfive.py,sha256=PRSuEd2_y2qQO0G3gUGtCsKB2PMV40C1WwjpgbJkefE,1493
32
32
  pysmt/cmd/installers/cvcfour.py,sha256=uBZkKIX4gZEMfjrhrparUSDydMcvGIGZM2Y8JYD0GzE,3916
33
- pysmt/cmd/installers/msat.py,sha256=euWgHJO9IBbb6Bpf2vQlQoJ6tfRy9TstT0o9LRyedS8,5418
33
+ pysmt/cmd/installers/msat.py,sha256=hNz7TbqYrEg9I0vvkSaBiKdy4v8RxH8oXGhXQhgNIVU,5409
34
34
  pysmt/cmd/installers/pico.py,sha256=XJpVbY5YHboL3OEMBvjwv8QwKdJ7Y62Blb78tEGyMxU,3141
35
35
  pysmt/cmd/installers/yices.py,sha256=M99P641jqGtAWOgQpAQzt4T1KwmSClw1VDEETzsSZe0,3010
36
36
  pysmt/cmd/installers/z3.py,sha256=5wP6O-a602-y1cuEyr22bkdWnOWHx8bIaPQ24xDtxX8,1386
@@ -128,10 +128,10 @@ pysmt/walkers/dag.py,sha256=pUdVTZx7CQyjrAb6jMfmsqS07J4kiDqHU8R4_9UvwkQ,5352
128
128
  pysmt/walkers/generic.py,sha256=q1j1T2RvCeJn1PM0H5d8vNV4FTYAEQgT7h8X5DJhDf8,4534
129
129
  pysmt/walkers/identitydag.py,sha256=f_D5qA198ayd3QO4u59fBX1RS_UiSBnPeV9O3ULvQv0,8737
130
130
  pysmt/walkers/tree.py,sha256=WIWN9IM0riWkaD40iP4Tt3BCN21iSdE1S7gRZqy56SU,2846
131
- PySMT-0.9.7.dev108.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
132
- PySMT-0.9.7.dev108.dist-info/METADATA,sha256=lYv8fupN6G88pIW3dlsd_K2HAwu-dJ5wxlsbdnStpwM,1617
133
- PySMT-0.9.7.dev108.dist-info/NOTICE,sha256=Ns-Jsa6nbqZUiTEEAM6HqioSZIxQ2RCJzxoBlWQaUfc,601
134
- PySMT-0.9.7.dev108.dist-info/WHEEL,sha256=DZajD4pwLWue70CAfc7YaxT1wLUciNBvN_TTcvXpltE,110
135
- PySMT-0.9.7.dev108.dist-info/entry_points.txt,sha256=si0hIk-v3V35G3p8QGINoQ4QW-v4RYDRqj-asgyCgeM,58
136
- PySMT-0.9.7.dev108.dist-info/top_level.txt,sha256=NwHQbpTaZMEvjIUdC0bvvj-WUyULe-nt-opK3YQNRMk,6
137
- PySMT-0.9.7.dev108.dist-info/RECORD,,
131
+ PySMT-0.9.7.dev112.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
132
+ PySMT-0.9.7.dev112.dist-info/METADATA,sha256=jyBArgrTBLc7CC6a2QaWphz8zjnXBWJdPLC5jIdbv4o,1617
133
+ PySMT-0.9.7.dev112.dist-info/NOTICE,sha256=Ns-Jsa6nbqZUiTEEAM6HqioSZIxQ2RCJzxoBlWQaUfc,601
134
+ PySMT-0.9.7.dev112.dist-info/WHEEL,sha256=Kh9pAotZVRFj97E15yTA4iADqXdQfIVTHcNaZTjxeGM,110
135
+ PySMT-0.9.7.dev112.dist-info/entry_points.txt,sha256=si0hIk-v3V35G3p8QGINoQ4QW-v4RYDRqj-asgyCgeM,58
136
+ PySMT-0.9.7.dev112.dist-info/top_level.txt,sha256=NwHQbpTaZMEvjIUdC0bvvj-WUyULe-nt-opK3YQNRMk,6
137
+ PySMT-0.9.7.dev112.dist-info/RECORD,,
{PySMT-0.9.7.dev108.dist-info → PySMT-0.9.7.dev112.dist-info}/WHEEL RENAMED
@@ -1,5 +1,5 @@
1
1
  Wheel-Version: 1.0
2
- Generator: bdist_wheel (0.43.0)
2
+ Generator: bdist_wheel (0.45.1)
3
3
  Root-Is-Purelib: true
4
4
  Tag: py2-none-any
5
5
  Tag: py3-none-any
pysmt/__init__.py CHANGED
@@ -16,7 +16,7 @@
16
16
  # limitations under the License.
17
17
  #
18
18
 
19
- VERSION = (0, 9, 7, "dev", 108)
19
+ VERSION = (0, 9, 7, "dev", 112)
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/cmd/install.py CHANGED
@@ -56,7 +56,8 @@ def get_requested_solvers():
56
56
  keys = requested_solvers_str.split(",")
57
57
  requested_solvers = [x.lower().strip() for x in keys]
58
58
  if "all" in requested_solvers:
59
- requested_solvers = [x.InstallerClass.SOLVER for x in INSTALLERS if x != "cvc4"]
59
+ requested_solvers = [x.InstallerClass.SOLVER for x in INSTALLERS
60
+ if x.InstallerClass.SOLVER != "cvc4"]
60
61
  return requested_solvers
61
62
 
62
63
 
pysmt/cmd/installers/msat.py CHANGED
@@ -45,7 +45,7 @@ class MSatInstaller(SolverInstaller):
45
45
 
46
46
  archive_name = archive_name_template.format(**format)
47
47
 
48
- native_link = "http://mathsat.fbk.eu/download.php?file={archive_name}"
48
+ native_link = "https://mathsat.fbk.eu/release/{archive_name}"
49
49
 
50
50
  SolverInstaller.__init__(self, install_dir=install_dir,
51
51
  bindings_dir=bindings_dir,