python-sat 1.8.dev16__cp313-cp313-win_amd64.whl → 1.8.dev17__cp313-cp313-win_amd64.whl

pysat/__init__.py

@@ -10,7 +10,7 @@
 
 # current version
 #==============================================================================
-VERSION = (1, 8, 'dev', 16)
+VERSION = (1, 8, 'dev', 17)
 
 
 # PEP440 Format

pysat/formula.py

@@ -4334,7 +4334,7 @@ class WCNF(object):
 
         cnf.nv = self.nv
         cnf.clauses = copy.deepcopy(self.hard) + copy.deepcopy(self.soft)
-        cnf.commends = self.comments[:]
+        cnf.comments = self.comments[:]
 
         return cnf
 
@@ -5378,7 +5378,7 @@ class WCNFPlus(WCNF, object):
         cnf.nv = self.nv
         cnf.clauses = copy.deepcopy(self.hard) + copy.deepcopy(self.soft)
         cnf.atmosts = copy.deepcopy(self.atms)
-        cnf.commends = self.comments[:]
+        cnf.comments = self.comments[:]
 
         return cnf
 

{python_sat-1.8.dev16.dist-info → python_sat-1.8.dev17.dist-info}/METADATA

@@ -1,6 +1,6 @@
-Metadata-Version: 2.2
+Metadata-Version: 2.4
 Name: python-sat
-Version: 1.8.dev16
+Version: 1.8.dev17
 Summary: A Python library for prototyping with SAT oracles
 Home-page: https://github.com/pysathq/pysat
 Author: Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
@@ -25,6 +25,7 @@ Dynamic: description
 Dynamic: description-content-type
 Dynamic: home-page
 Dynamic: license
+Dynamic: license-file
 Dynamic: provides-extra
 Dynamic: requires-dist
 Dynamic: summary

{python_sat-1.8.dev16.dist-info → python_sat-1.8.dev17.dist-info}/RECORD

@@ -1,11 +1,11 @@
-pycard.cp313-win_amd64.pyd,sha256=Ff8N3mKIDZgiPheHC_HkB05760iuXMJ3PDKSCFUnXtE,69632
-pysolvers.cp313-win_amd64.pyd,sha256=Q50aNcy10LrVUeUs_l6o2I8Ex1dkvlqYwj8iOM1hFyE,2230272
-pysat/__init__.py,sha256=cnI8R_5GG8oSVZe6oiDS9HbZZ5388Fv5qMMkeIxzJec,670
+pycard.cp313-win_amd64.pyd,sha256=72vk7T-7p8KAlQjYGFDl5SznT9oiW7y8nbvxri0q29g,69632
+pysolvers.cp313-win_amd64.pyd,sha256=SLhNFvxMxDIyYXtTrPgY_6z0fsqCy7RRpzjcWrHbXPE,2230272
+pysat/__init__.py,sha256=GKO6UTrbouoj05-LV6_7ye_41iDgxXCSd5etcXiVHpA,670
 pysat/_fileio.py,sha256=zS0aqB8sopegp1VmwuUd7JzdIGrZkNAl9RVLCgg-i-Q,5814
 pysat/_utils.py,sha256=4cv40p70FKvjCTKq8GqzS_jlxF74cp_lojTZSim_qJE,1340
 pysat/card.py,sha256=Np6HK2LfD-7YuOP53jMAm6JIO1lPFu_jqJP18n03uvM,30066
 pysat/engines.py,sha256=PzcZJ4zFXDHfcSSHF7iPadtrwSVEt4t9B_cO5epwTZk,45182
-pysat/formula.py,sha256=xJsPf_DOgFQkHHsVNsk5HBi5ChQs8S6wYVrT5PafA5Y,198079
+pysat/formula.py,sha256=Ey8qG1DtTEsc7wPnXfM8plaPQDMc40Dk7OiY0qFr24w,198079
 pysat/pb.py,sha256=RlGBn1yHwXiburAz57Cld8q2xvtkS0wJC1VON2Y_izs,16685
 pysat/process.py,sha256=QNDiz5OFpZctMzs9SOj3hxb3tuWA6N3Z2jlCoQoVciU,11968
 pysat/solvers.py,sha256=twl4qnN30EDkam0SXzCux1lH0gCWa8baynTIEsVYz8I,229841
@@ -24,19 +24,19 @@ pysat/examples/musx.py,sha256=iI-a7J09raagOENpyeZrdXMpR_uZXI3PKVDeeNJeqeI,10941
 pysat/examples/optux.py,sha256=V8qQdvYJ8gVAnxA7B48SecRd8b_9jt5uUd1j-rwzNXQ,25841
 pysat/examples/rc2.py,sha256=--gqPBh1paBSJ8HxSxojoTIYxXiEW7GzluQcGdPKmlQ,67524
 pysat/examples/usage.py,sha256=x9luw6pyKAAndlxAeUWFhS4aLSVmD2t_j_5uA9YddHg,2183
-python_sat-1.8.dev16.data/scripts/approxmc.py,sha256=Ed60o-ftg6S8xTFxAZvdrTmwTeuPG-U7YOKmSgkBFI8,13957
-python_sat-1.8.dev16.data/scripts/fm.py,sha256=m613MZPmjLurrXypEBbEho6wFMGvHQacYxExMgGKrkU,18695
-python_sat-1.8.dev16.data/scripts/genhard.py,sha256=YswufT272W4xTJrSBlOC2ucJx4RK4ntfRv73rASrx30,19520
-python_sat-1.8.dev16.data/scripts/lbx.py,sha256=EZLBdiSiSuc9YvTDKa5p90Hf7rnjaRFD4mkxJgCw26Y,22072
-python_sat-1.8.dev16.data/scripts/lsu.py,sha256=I-QkAX06K85Jk2DJL0VUTETGUcVsd6cy2J4kY9MX4OE,16593
-python_sat-1.8.dev16.data/scripts/mcsls.py,sha256=tICvWfj7gYrUW6YhK9L90NLHxWhxRMDahaR4RWsTmok,21072
-python_sat-1.8.dev16.data/scripts/models.py,sha256=UmMmklExzyXAIhh-0i038nQb7hTK6CbdV1M6m2GxxSI,5917
-python_sat-1.8.dev16.data/scripts/musx.py,sha256=y7RMAwvBuV1HDXiymsWUvd-3AlcYgLDEJ93OJSxHEEE,11272
-python_sat-1.8.dev16.data/scripts/optux.py,sha256=vZVODLzU_RIjY0s-7p0J8nNe8XvW786Ft6IyTn6UYXE,26503
-python_sat-1.8.dev16.data/scripts/rc2.py,sha256=77fYmLeVHTXh0wbZZEwasS51yUgveHg-ynJgsQkxLCw,69315
-python_sat-1.8.dev16.data/scripts/unigen.py,sha256=fSlPfiZysvHe_vsDQWOZPjWjmvY0yw3iKPcowMMOjNI,17139
-python_sat-1.8.dev16.dist-info/LICENSE.txt,sha256=6QMvEzxqdPXEoiAZUBaZLeLF4hW2S81fjKz_THER0uQ,1109
-python_sat-1.8.dev16.dist-info/METADATA,sha256=eHRqLd8-dqdLj0qbJyvQ_7alNyuWtd8DOSQ-Q-j3Nxc,1761
-python_sat-1.8.dev16.dist-info/WHEEL,sha256=9BrMuZXDRTGLZNx9MjfYwuYQduoUw2h3Jbd54pkFb1Y,101
-python_sat-1.8.dev16.dist-info/top_level.txt,sha256=fgEEGhMLivlF1ExCX8Y3niWsr4pDPRb5HdaWjNtabFI,23
-python_sat-1.8.dev16.dist-info/RECORD,,
+python_sat-1.8.dev17.data/scripts/approxmc.py,sha256=Ed60o-ftg6S8xTFxAZvdrTmwTeuPG-U7YOKmSgkBFI8,13957
+python_sat-1.8.dev17.data/scripts/fm.py,sha256=m613MZPmjLurrXypEBbEho6wFMGvHQacYxExMgGKrkU,18695
+python_sat-1.8.dev17.data/scripts/genhard.py,sha256=YswufT272W4xTJrSBlOC2ucJx4RK4ntfRv73rASrx30,19520
+python_sat-1.8.dev17.data/scripts/lbx.py,sha256=EZLBdiSiSuc9YvTDKa5p90Hf7rnjaRFD4mkxJgCw26Y,22072
+python_sat-1.8.dev17.data/scripts/lsu.py,sha256=I-QkAX06K85Jk2DJL0VUTETGUcVsd6cy2J4kY9MX4OE,16593
+python_sat-1.8.dev17.data/scripts/mcsls.py,sha256=tICvWfj7gYrUW6YhK9L90NLHxWhxRMDahaR4RWsTmok,21072
+python_sat-1.8.dev17.data/scripts/models.py,sha256=UmMmklExzyXAIhh-0i038nQb7hTK6CbdV1M6m2GxxSI,5917
+python_sat-1.8.dev17.data/scripts/musx.py,sha256=y7RMAwvBuV1HDXiymsWUvd-3AlcYgLDEJ93OJSxHEEE,11272
+python_sat-1.8.dev17.data/scripts/optux.py,sha256=vZVODLzU_RIjY0s-7p0J8nNe8XvW786Ft6IyTn6UYXE,26503
+python_sat-1.8.dev17.data/scripts/rc2.py,sha256=77fYmLeVHTXh0wbZZEwasS51yUgveHg-ynJgsQkxLCw,69315
+python_sat-1.8.dev17.data/scripts/unigen.py,sha256=fSlPfiZysvHe_vsDQWOZPjWjmvY0yw3iKPcowMMOjNI,17139
+python_sat-1.8.dev17.dist-info/licenses/LICENSE.txt,sha256=6QMvEzxqdPXEoiAZUBaZLeLF4hW2S81fjKz_THER0uQ,1109
+python_sat-1.8.dev17.dist-info/METADATA,sha256=pz9OnpdnIDUYxNmxm4rxJHL-SNqk8wnED1Ra4FjbVQE,1784
+python_sat-1.8.dev17.dist-info/WHEEL,sha256=qV0EIPljj1XC_vuSatRWjn02nZIz3N1t8jsZz7HBr2U,101
+python_sat-1.8.dev17.dist-info/top_level.txt,sha256=fgEEGhMLivlF1ExCX8Y3niWsr4pDPRb5HdaWjNtabFI,23
+python_sat-1.8.dev17.dist-info/RECORD,,

{python_sat-1.8.dev16.dist-info → python_sat-1.8.dev17.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: setuptools (76.0.0)
+Generator: setuptools (80.9.0)
 Root-Is-Purelib: false
 Tag: cp313-cp313-win_amd64