python-sat 1.8.dev16__tar.gz → 1.8.dev18__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 (98) hide show
  1. {python-sat-1.8.dev16/python_sat.egg-info → python-sat-1.8.dev18}/PKG-INFO +1 -1
  2. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/allies/approxmc.py +1 -1
  3. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/allies/unigen.py +1 -1
  4. python-sat-1.8.dev18/examples/bica.py +692 -0
  5. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/fm.py +2 -3
  6. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/hitman.py +35 -25
  7. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/lbx.py +2 -2
  8. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/lsu.py +3 -3
  9. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/mcsls.py +2 -2
  10. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/musx.py +1 -1
  11. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/optux.py +35 -22
  12. python-sat-1.8.dev18/examples/primer.py +620 -0
  13. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/rc2.py +16 -10
  14. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/pysat/__init__.py +1 -1
  15. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/pysat/formula.py +149 -10
  16. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/pysat/pb.py +1 -1
  17. {python-sat-1.8.dev16 → python-sat-1.8.dev18/python_sat.egg-info}/PKG-INFO +1 -1
  18. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/python_sat.egg-info/SOURCES.txt +2 -0
  19. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/setup.py +3 -2
  20. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/LICENSE.txt +0 -0
  21. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/MANIFEST.in +0 -0
  22. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/README.rst +0 -0
  23. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/allies/__init__.py +0 -0
  24. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/bitwise.hh +0 -0
  25. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/card.hh +0 -0
  26. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/clset.hh +0 -0
  27. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/common.hh +0 -0
  28. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/itot.hh +0 -0
  29. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/ladder.hh +0 -0
  30. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/mto.hh +0 -0
  31. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/pairwise.hh +0 -0
  32. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/ptypes.hh +0 -0
  33. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/pycard.cc +0 -0
  34. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/seqcounter.hh +0 -0
  35. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/sortcard.hh +0 -0
  36. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/cardenc/utils.hh +0 -0
  37. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/__init__.py +0 -0
  38. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/genhard.py +0 -0
  39. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/models.py +0 -0
  40. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/examples/usage.py +0 -0
  41. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/pysat/_fileio.py +0 -0
  42. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/pysat/_utils.py +0 -0
  43. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/pysat/card.py +0 -0
  44. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/pysat/engines.py +0 -0
  45. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/pysat/process.py +0 -0
  46. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/pysat/solvers.py +0 -0
  47. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/python_sat.egg-info/dependency_links.txt +0 -0
  48. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/python_sat.egg-info/requires.txt +0 -0
  49. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/python_sat.egg-info/top_level.txt +0 -0
  50. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/requirements.txt +0 -0
  51. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/setup.cfg +0 -0
  52. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/cadical103.tar.gz +0 -0
  53. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/cadical153.tar.gz +0 -0
  54. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/cadical170.tar.gz +0 -0
  55. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/cadical195.tar.gz +0 -0
  56. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/glucose30.tar.gz +0 -0
  57. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/glucose41.tar.gz +0 -0
  58. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/glucose421.tar.gz +0 -0
  59. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/lingeling.tar.gz +0 -0
  60. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/maplechrono.zip +0 -0
  61. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/maplecm.zip +0 -0
  62. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/maplesat.zip +0 -0
  63. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/mergesat3.tar.gz +0 -0
  64. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/minicard.tar.gz +0 -0
  65. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/minisat22.tar.gz +0 -0
  66. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/minisatgh.zip +0 -0
  67. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/cadical103.patch +0 -0
  68. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/cadical153.patch +0 -0
  69. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/cadical195.patch +0 -0
  70. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/glucose30.patch +0 -0
  71. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/glucose41.patch +0 -0
  72. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/glucose421.patch +0 -0
  73. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/gluecard30.patch +0 -0
  74. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/gluecard41.patch +0 -0
  75. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/lingeling.patch +0 -0
  76. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/maplechrono.patch +0 -0
  77. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/maplecm.patch +0 -0
  78. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/maplesat.patch +0 -0
  79. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/mergesat3.patch +0 -0
  80. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/minicard.patch +0 -0
  81. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/minisat22.patch +0 -0
  82. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/patches/minisatgh.patch +0 -0
  83. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/prepare.py +0 -0
  84. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/solvers/pysolvers.cc +0 -0
  85. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_accum_stats.py +0 -0
  86. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_atmost.py +0 -0
  87. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_atmost1.py +0 -0
  88. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_atmostk.py +0 -0
  89. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_boolengine.py +0 -0
  90. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_clausification.py +0 -0
  91. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_cnf.py +0 -0
  92. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_equals1.py +0 -0
  93. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_formula_unique.py +0 -0
  94. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_process.py +0 -0
  95. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_propagate.py +0 -0
  96. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_unique_model.py +0 -0
  97. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_unique_mus.py +0 -0
  98. {python-sat-1.8.dev16 → python-sat-1.8.dev18}/tests/test_warmstart.py +0 -0
{python-sat-1.8.dev16/python_sat.egg-info → python-sat-1.8.dev18}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: python-sat
3
- Version: 1.8.dev16
3
+ Version: 1.8.dev18
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.dev16 → python-sat-1.8.dev18}/allies/approxmc.py RENAMED
@@ -371,7 +371,7 @@ if __name__ == '__main__':
371
371
  delta, epsilon, projection, seed, verbose, files = parse_options()
372
372
 
373
373
  # parsing the input formula
374
- if files and re.search('\.cnf(\.(gz|bz2|lzma|xz))?$', files[0]):
374
+ if files and re.search(r'\.cnf(\.(gz|bz2|lzma|xz))?$', files[0]):
375
375
  formula = CNF(from_file=files[0])
376
376
 
377
377
  # creating the counter object
{python-sat-1.8.dev16 → python-sat-1.8.dev18}/allies/unigen.py RENAMED
@@ -419,7 +419,7 @@ if __name__ == '__main__':
419
419
  files = parse_options()
420
420
 
421
421
  # parsing the input formula
422
- if files and re.search('\.cnf(\.(gz|bz2|lzma|xz))?$', files[0]):
422
+ if files and re.search(r'\.cnf(\.(gz|bz2|lzma|xz))?$', files[0]):
423
423
  formula = CNF(from_file=files[0])
424
424
 
425
425
  # creating the sampler object