python-sat 1.8.dev15__tar.gz → 1.8.dev16__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.dev16}/PKG-INFO +1 -1
  2. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/pysat/__init__.py +1 -1
  3. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/pysat/formula.py +3 -0
  4. {python-sat-1.8.dev15 → python-sat-1.8.dev16/python_sat.egg-info}/PKG-INFO +1 -1
  5. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/LICENSE.txt +0 -0
  6. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/MANIFEST.in +0 -0
  7. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/README.rst +0 -0
  8. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/allies/__init__.py +0 -0
  9. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/allies/approxmc.py +0 -0
  10. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/allies/unigen.py +0 -0
  11. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/bitwise.hh +0 -0
  12. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/card.hh +0 -0
  13. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/clset.hh +0 -0
  14. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/common.hh +0 -0
  15. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/itot.hh +0 -0
  16. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/ladder.hh +0 -0
  17. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/mto.hh +0 -0
  18. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/pairwise.hh +0 -0
  19. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/ptypes.hh +0 -0
  20. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/pycard.cc +0 -0
  21. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/seqcounter.hh +0 -0
  22. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/sortcard.hh +0 -0
  23. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/cardenc/utils.hh +0 -0
  24. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/__init__.py +0 -0
  25. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/fm.py +0 -0
  26. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/genhard.py +0 -0
  27. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/hitman.py +0 -0
  28. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/lbx.py +0 -0
  29. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/lsu.py +0 -0
  30. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/mcsls.py +0 -0
  31. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/models.py +0 -0
  32. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/musx.py +0 -0
  33. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/optux.py +0 -0
  34. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/rc2.py +0 -0
  35. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/examples/usage.py +0 -0
  36. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/pysat/_fileio.py +0 -0
  37. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/pysat/_utils.py +0 -0
  38. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/pysat/card.py +0 -0
  39. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/pysat/engines.py +0 -0
  40. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/pysat/pb.py +0 -0
  41. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/pysat/process.py +0 -0
  42. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/pysat/solvers.py +0 -0
  43. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/python_sat.egg-info/SOURCES.txt +0 -0
  44. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/python_sat.egg-info/dependency_links.txt +0 -0
  45. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/python_sat.egg-info/requires.txt +0 -0
  46. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/python_sat.egg-info/top_level.txt +0 -0
  47. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/requirements.txt +0 -0
  48. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/setup.cfg +0 -0
  49. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/setup.py +0 -0
  50. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/cadical103.tar.gz +0 -0
  51. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/cadical153.tar.gz +0 -0
  52. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/cadical170.tar.gz +0 -0
  53. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/cadical195.tar.gz +0 -0
  54. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/glucose30.tar.gz +0 -0
  55. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/glucose41.tar.gz +0 -0
  56. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/glucose421.tar.gz +0 -0
  57. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/lingeling.tar.gz +0 -0
  58. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/maplechrono.zip +0 -0
  59. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/maplecm.zip +0 -0
  60. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/maplesat.zip +0 -0
  61. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/mergesat3.tar.gz +0 -0
  62. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/minicard.tar.gz +0 -0
  63. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/minisat22.tar.gz +0 -0
  64. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/minisatgh.zip +0 -0
  65. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/cadical103.patch +0 -0
  66. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/cadical153.patch +0 -0
  67. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/cadical195.patch +0 -0
  68. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/glucose30.patch +0 -0
  69. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/glucose41.patch +0 -0
  70. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/glucose421.patch +0 -0
  71. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/gluecard30.patch +0 -0
  72. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/gluecard41.patch +0 -0
  73. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/lingeling.patch +0 -0
  74. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/maplechrono.patch +0 -0
  75. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/maplecm.patch +0 -0
  76. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/maplesat.patch +0 -0
  77. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/mergesat3.patch +0 -0
  78. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/minicard.patch +0 -0
  79. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/minisat22.patch +0 -0
  80. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/patches/minisatgh.patch +0 -0
  81. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/prepare.py +0 -0
  82. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/solvers/pysolvers.cc +0 -0
  83. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_accum_stats.py +0 -0
  84. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_atmost.py +0 -0
  85. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_atmost1.py +0 -0
  86. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_atmostk.py +0 -0
  87. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_boolengine.py +0 -0
  88. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_clausification.py +0 -0
  89. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_cnf.py +0 -0
  90. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_equals1.py +0 -0
  91. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_formula_unique.py +0 -0
  92. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_process.py +0 -0
  93. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_propagate.py +0 -0
  94. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_unique_model.py +0 -0
  95. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_unique_mus.py +0 -0
  96. {python-sat-1.8.dev15 → python-sat-1.8.dev16}/tests/test_warmstart.py +0 -0
{python-sat-1.8.dev15/python_sat.egg-info → python-sat-1.8.dev16}/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.dev16
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.dev16}/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', 16)
14
14
 
15
15
 
16
16
  # PEP440 Format
{python-sat-1.8.dev15 → python-sat-1.8.dev16}/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
 
{python-sat-1.8.dev15 → python-sat-1.8.dev16/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.dev16
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.dev16}/setup.cfg RENAMED
File without changes
{python-sat-1.8.dev15 → python-sat-1.8.dev16}/setup.py RENAMED
File without changes