python-sat 1.8.dev28__cp314-cp314-musllinux_1_2_aarch64.whl → 1.8.dev30__cp314-cp314-musllinux_1_2_aarch64.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.
- pysat/__init__.py +2 -2
- pysat/card.py +1 -1
- pysat/integer.py +1945 -0
- pysolvers.cpython-314-aarch64-linux-musl.so +0 -0
- {python_sat-1.8.dev28.dist-info → python_sat-1.8.dev30.dist-info}/METADATA +1 -1
- {python_sat-1.8.dev28.dist-info → python_sat-1.8.dev30.dist-info}/RECORD +23 -22
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/approxmc.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/bbscan.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/bica.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/fm.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/genhard.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/lbx.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/lsu.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/mcsls.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/models.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/musx.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/optux.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/primer.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/rc2.py +0 -0
- {python_sat-1.8.dev28.data → python_sat-1.8.dev30.data}/scripts/unigen.py +0 -0
- {python_sat-1.8.dev28.dist-info → python_sat-1.8.dev30.dist-info}/WHEEL +0 -0
- {python_sat-1.8.dev28.dist-info → python_sat-1.8.dev30.dist-info}/licenses/LICENSE.txt +0 -0
- {python_sat-1.8.dev28.dist-info → python_sat-1.8.dev30.dist-info}/top_level.txt +0 -0
pysat/__init__.py
CHANGED
|
@@ -10,7 +10,7 @@
|
|
|
10
10
|
|
|
11
11
|
# current version
|
|
12
12
|
#==============================================================================
|
|
13
|
-
VERSION = (1, 8, 'dev',
|
|
13
|
+
VERSION = (1, 8, 'dev', 30)
|
|
14
14
|
|
|
15
15
|
|
|
16
16
|
# PEP440 Format
|
|
@@ -21,4 +21,4 @@ __version__ = '%d.%d.%s%d' % VERSION if len(VERSION) == 4 else \
|
|
|
21
21
|
|
|
22
22
|
# all submodules
|
|
23
23
|
#==============================================================================
|
|
24
|
-
__all__ = ['card', 'engines', 'formula', 'pb', 'process', 'solvers']
|
|
24
|
+
__all__ = ['card', 'engines', 'formula', 'integer', 'pb', 'process', 'solvers']
|
pysat/card.py
CHANGED
|
@@ -340,7 +340,7 @@ class CardEnc(object):
|
|
|
340
340
|
using ``top_id``. Also note that parameters ``top_id`` and
|
|
341
341
|
``vpool`` **cannot** be specified *simultaneously*.
|
|
342
342
|
|
|
343
|
-
The default value of ``encoding`` is :attr:`
|
|
343
|
+
The default value of ``encoding`` is :attr:`EncType.seqcounter`.
|
|
344
344
|
|
|
345
345
|
The method *translates* the AtLeast constraint into an AtMost
|
|
346
346
|
constraint by *negating* the literals of ``lits``, creating a new
|