python-sat 1.8.dev15__tar.gz → 1.8.dev17__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.

Potentially problematic release.

This version of python-sat might be problematic. Click here for more details.

Files changed (96) hide show
  1. {python-sat-1.8.dev15/python_sat.egg-info → python-sat-1.8.dev17}/PKG-INFO +1 -1
  2. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/__init__.py +1 -1
  3. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/formula.py +5 -2
  4. {python-sat-1.8.dev15 → python-sat-1.8.dev17/python_sat.egg-info}/PKG-INFO +1 -1
  5. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/LICENSE.txt +0 -0
  6. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/MANIFEST.in +0 -0
  7. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/README.rst +0 -0
  8. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/allies/__init__.py +0 -0
  9. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/allies/approxmc.py +0 -0
  10. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/allies/unigen.py +0 -0
  11. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/bitwise.hh +0 -0
  12. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/card.hh +0 -0
  13. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/clset.hh +0 -0
  14. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/common.hh +0 -0
  15. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/itot.hh +0 -0
  16. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/ladder.hh +0 -0
  17. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/mto.hh +0 -0
  18. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/pairwise.hh +0 -0
  19. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/ptypes.hh +0 -0
  20. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/pycard.cc +0 -0
  21. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/seqcounter.hh +0 -0
  22. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/sortcard.hh +0 -0
  23. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/cardenc/utils.hh +0 -0
  24. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/__init__.py +0 -0
  25. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/fm.py +0 -0
  26. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/genhard.py +0 -0
  27. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/hitman.py +0 -0
  28. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/lbx.py +0 -0
  29. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/lsu.py +0 -0
  30. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/mcsls.py +0 -0
  31. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/models.py +0 -0
  32. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/musx.py +0 -0
  33. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/optux.py +0 -0
  34. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/rc2.py +0 -0
  35. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/examples/usage.py +0 -0
  36. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/_fileio.py +0 -0
  37. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/_utils.py +0 -0
  38. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/card.py +0 -0
  39. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/engines.py +0 -0
  40. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/pb.py +0 -0
  41. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/process.py +0 -0
  42. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/solvers.py +0 -0
  43. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/python_sat.egg-info/SOURCES.txt +0 -0
  44. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/python_sat.egg-info/dependency_links.txt +0 -0
  45. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/python_sat.egg-info/requires.txt +0 -0
  46. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/python_sat.egg-info/top_level.txt +0 -0
  47. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/requirements.txt +0 -0
  48. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/setup.cfg +0 -0
  49. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/setup.py +0 -0
  50. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/cadical103.tar.gz +0 -0
  51. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/cadical153.tar.gz +0 -0
  52. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/cadical170.tar.gz +0 -0
  53. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/cadical195.tar.gz +0 -0
  54. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/glucose30.tar.gz +0 -0
  55. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/glucose41.tar.gz +0 -0
  56. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/glucose421.tar.gz +0 -0
  57. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/lingeling.tar.gz +0 -0
  58. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/maplechrono.zip +0 -0
  59. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/maplecm.zip +0 -0
  60. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/maplesat.zip +0 -0
  61. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/mergesat3.tar.gz +0 -0
  62. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/minicard.tar.gz +0 -0
  63. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/minisat22.tar.gz +0 -0
  64. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/minisatgh.zip +0 -0
  65. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/cadical103.patch +0 -0
  66. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/cadical153.patch +0 -0
  67. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/cadical195.patch +0 -0
  68. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/glucose30.patch +0 -0
  69. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/glucose41.patch +0 -0
  70. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/glucose421.patch +0 -0
  71. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/gluecard30.patch +0 -0
  72. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/gluecard41.patch +0 -0
  73. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/lingeling.patch +0 -0
  74. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/maplechrono.patch +0 -0
  75. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/maplecm.patch +0 -0
  76. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/maplesat.patch +0 -0
  77. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/mergesat3.patch +0 -0
  78. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/minicard.patch +0 -0
  79. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/minisat22.patch +0 -0
  80. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/patches/minisatgh.patch +0 -0
  81. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/prepare.py +0 -0
  82. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/solvers/pysolvers.cc +0 -0
  83. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_accum_stats.py +0 -0
  84. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_atmost.py +0 -0
  85. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_atmost1.py +0 -0
  86. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_atmostk.py +0 -0
  87. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_boolengine.py +0 -0
  88. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_clausification.py +0 -0
  89. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_cnf.py +0 -0
  90. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_equals1.py +0 -0
  91. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_formula_unique.py +0 -0
  92. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_process.py +0 -0
  93. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_propagate.py +0 -0
  94. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_unique_model.py +0 -0
  95. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_unique_mus.py +0 -0
  96. {python-sat-1.8.dev15 → python-sat-1.8.dev17}/tests/test_warmstart.py +0 -0
{python-sat-1.8.dev15/python_sat.egg-info → python-sat-1.8.dev17}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: python-sat
3
- Version: 1.8.dev15
3
+ Version: 1.8.dev17
4
4
  Summary: A Python library for prototyping with SAT oracles
5
5
  Home-page: https://github.com/pysathq/pysat
6
6
  Author: Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
{python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/__init__.py RENAMED
@@ -10,7 +10,7 @@
10
10
 
11
11
  # current version
12
12
  #==============================================================================
13
- VERSION = (1, 8, 'dev', 15)
13
+ VERSION = (1, 8, 'dev', 17)
14
14
 
15
15
 
16
16
  # PEP440 Format
{python-sat-1.8.dev15 → python-sat-1.8.dev17}/pysat/formula.py RENAMED
@@ -1454,6 +1454,9 @@ Formula.set_context('_global')
1454
1454
  PYSAT_FALSE, PYSAT_TRUE = Atom(False), Atom(True)
1455
1455
  PYSAT_FALSE.name, PYSAT_TRUE.name = -0.5, 0.5 # special (floating-point) values for the constants
1456
1456
  # different from all variable names
1457
+ PYSAT_FALSE.clauses, PYSAT_TRUE.clauses = [[-0.5]], [[0.5]] # unit clauses for the constants
1458
+ # FALSE should turn into an empty clause;
1459
+ # while the clause for TRUE should be removed
1457
1460
  Formula.set_context('default')
1458
1461
 
1459
1462
 
@@ -4331,7 +4334,7 @@ class WCNF(object):
4331
4334
 
4332
4335
  cnf.nv = self.nv
4333
4336
  cnf.clauses = copy.deepcopy(self.hard) + copy.deepcopy(self.soft)
4334
- cnf.commends = self.comments[:]
4337
+ cnf.comments = self.comments[:]
4335
4338
 
4336
4339
  return cnf
4337
4340
 
@@ -5375,7 +5378,7 @@ class WCNFPlus(WCNF, object):
5375
5378
  cnf.nv = self.nv
5376
5379
  cnf.clauses = copy.deepcopy(self.hard) + copy.deepcopy(self.soft)
5377
5380
  cnf.atmosts = copy.deepcopy(self.atms)
5378
- cnf.commends = self.comments[:]
5381
+ cnf.comments = self.comments[:]
5379
5382
 
5380
5383
  return cnf
5381
5384
 
{python-sat-1.8.dev15 → python-sat-1.8.dev17/python_sat.egg-info}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: python-sat
3
- Version: 1.8.dev15
3
+ Version: 1.8.dev17
4
4
  Summary: A Python library for prototyping with SAT oracles
5
5
  Home-page: https://github.com/pysathq/pysat
6
6
  Author: Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
{python-sat-1.8.dev15 → python-sat-1.8.dev17}/setup.cfg RENAMED
File without changes
{python-sat-1.8.dev15 → python-sat-1.8.dev17}/setup.py RENAMED
File without changes