python-sat 1.8.dev20__tar.gz → 1.8.dev22__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.
Files changed (100) hide show
  1. {python_sat-1.8.dev20/python_sat.egg-info → python_sat-1.8.dev22}/PKG-INFO +12 -2
  2. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/README.rst +25 -0
  3. python_sat-1.8.dev22/examples/bbscan.py +659 -0
  4. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/bica.py +2 -3
  5. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/fm.py +1 -1
  6. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/lbx.py +51 -14
  7. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/lsu.py +5 -3
  8. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/mcsls.py +48 -14
  9. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/musx.py +1 -1
  10. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/optux.py +36 -14
  11. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/primer.py +2 -2
  12. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/rc2.py +83 -35
  13. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/pysat/__init__.py +1 -1
  14. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/pysat/process.py +16 -2
  15. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/pysat/solvers.py +4 -2
  16. {python_sat-1.8.dev20 → python_sat-1.8.dev22/python_sat.egg-info}/PKG-INFO +12 -2
  17. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/python_sat.egg-info/SOURCES.txt +1 -1
  18. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/setup.py +2 -2
  19. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/glucose421.patch +366 -408
  20. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/pysolvers.cc +100 -34
  21. python_sat-1.8.dev22/tests/test_process.py +67 -0
  22. python_sat-1.8.dev20/solvers/cadical170.tar.gz +0 -0
  23. python_sat-1.8.dev20/tests/test_process.py +0 -26
  24. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/LICENSE.txt +0 -0
  25. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/MANIFEST.in +0 -0
  26. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/allies/__init__.py +0 -0
  27. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/allies/approxmc.py +0 -0
  28. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/allies/unigen.py +0 -0
  29. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/bitwise.hh +0 -0
  30. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/card.hh +0 -0
  31. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/clset.hh +0 -0
  32. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/common.hh +0 -0
  33. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/itot.hh +0 -0
  34. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/ladder.hh +0 -0
  35. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/mto.hh +0 -0
  36. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/pairwise.hh +0 -0
  37. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/ptypes.hh +0 -0
  38. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/pycard.cc +0 -0
  39. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/seqcounter.hh +0 -0
  40. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/sortcard.hh +0 -0
  41. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/cardenc/utils.hh +0 -0
  42. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/__init__.py +0 -0
  43. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/genhard.py +0 -0
  44. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/hitman.py +0 -0
  45. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/models.py +0 -0
  46. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/examples/usage.py +0 -0
  47. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/pysat/_fileio.py +0 -0
  48. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/pysat/_utils.py +0 -0
  49. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/pysat/card.py +0 -0
  50. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/pysat/engines.py +0 -0
  51. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/pysat/formula.py +0 -0
  52. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/pysat/pb.py +0 -0
  53. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/python_sat.egg-info/dependency_links.txt +0 -0
  54. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/python_sat.egg-info/requires.txt +0 -0
  55. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/python_sat.egg-info/top_level.txt +0 -0
  56. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/requirements.txt +0 -0
  57. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/setup.cfg +0 -0
  58. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/cadical103.tar.gz +0 -0
  59. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/cadical153.tar.gz +0 -0
  60. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/cadical195.tar.gz +0 -0
  61. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/glucose30.tar.gz +0 -0
  62. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/glucose41.tar.gz +0 -0
  63. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/glucose421.tar.gz +0 -0
  64. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/lingeling.tar.gz +0 -0
  65. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/maplechrono.zip +0 -0
  66. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/maplecm.zip +0 -0
  67. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/maplesat.zip +0 -0
  68. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/mergesat3.tar.gz +0 -0
  69. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/minicard.tar.gz +0 -0
  70. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/minisat22.tar.gz +0 -0
  71. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/minisatgh.zip +0 -0
  72. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/cadical103.patch +0 -0
  73. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/cadical153.patch +0 -0
  74. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/cadical195.patch +0 -0
  75. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/glucose30.patch +0 -0
  76. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/glucose41.patch +0 -0
  77. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/gluecard30.patch +0 -0
  78. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/gluecard41.patch +0 -0
  79. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/lingeling.patch +0 -0
  80. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/maplechrono.patch +0 -0
  81. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/maplecm.patch +0 -0
  82. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/maplesat.patch +0 -0
  83. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/mergesat3.patch +0 -0
  84. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/minicard.patch +0 -0
  85. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/minisat22.patch +0 -0
  86. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/patches/minisatgh.patch +0 -0
  87. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/solvers/prepare.py +0 -0
  88. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_accum_stats.py +0 -0
  89. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_atmost.py +0 -0
  90. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_atmost1.py +0 -0
  91. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_atmostk.py +0 -0
  92. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_boolengine.py +0 -0
  93. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_clausification.py +0 -0
  94. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_cnf.py +0 -0
  95. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_equals1.py +0 -0
  96. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_formula_unique.py +0 -0
  97. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_propagate.py +0 -0
  98. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_unique_model.py +0 -0
  99. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_unique_mus.py +0 -0
  100. {python_sat-1.8.dev20 → python_sat-1.8.dev22}/tests/test_warmstart.py +0 -0
{python_sat-1.8.dev20/python_sat.egg-info → python_sat-1.8.dev22}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
- Metadata-Version: 2.1
1
+ Metadata-Version: 2.4
2
2
  Name: python-sat
3
- Version: 1.8.dev20
3
+ Version: 1.8.dev22
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
@@ -19,6 +19,16 @@ Provides-Extra: pblib
19
19
  Requires-Dist: pypblib>=0.0.3; extra == "pblib"
20
20
  Provides-Extra: unigen
21
21
  Requires-Dist: pyunigen>=4.1.20; extra == "unigen"
22
+ Dynamic: author
23
+ Dynamic: author-email
24
+ Dynamic: description
25
+ Dynamic: description-content-type
26
+ Dynamic: home-page
27
+ Dynamic: license
28
+ Dynamic: license-file
29
+ Dynamic: provides-extra
30
+ Dynamic: requires-dist
31
+ Dynamic: summary
22
32
 
23
33
 
24
34
  A Python library providing a simple interface to a number of state-of-art
{python_sat-1.8.dev20 → python_sat-1.8.dev22}/README.rst RENAMED
@@ -1,6 +1,31 @@
1
1
  PySAT: SAT technology in Python
2
2
  ===============================
3
3
 
4
+ |version|
5
+ |tests|
6
+ |downloads|
7
+ |license|
8
+ |sat18|
9
+ |sat24|
10
+
11
+ .. |version| image:: https://img.shields.io/pypi/v/python-sat
12
+ :target: https://pysathq.github.io/
13
+
14
+ .. |tests| image:: https://img.shields.io/github/actions/workflow/status/pysathq/pysat/test.yml?label=tests
15
+ :target: https://github.com/pysathq/pysat
16
+
17
+ .. |downloads| image:: https://img.shields.io/pypi/dm/python-sat
18
+ :target: https://pypi.org/project/python-sat/
19
+
20
+ .. |license| image:: https://img.shields.io/github/license/pysathq/pysat
21
+ :target: https://github.com/pysathq/pysat/blob/master/LICENSE.txt
22
+
23
+ .. |sat18| image:: https://img.shields.io/badge/doi-10.1007%2F978--3--319--94144--8_26-blue
24
+ :target: https://doi.org/10.1007/978-3-319-94144-8_26
25
+
26
+ .. |sat24| image:: https://img.shields.io/badge/doi-10.4230%2FLIPICS.SAT.2024.16-blue
27
+ :target: https://doi.org/10.4230/LIPIcs.SAT.2024.16
28
+
4
29
  PySAT is a Python (2.7, 3.4+) toolkit, which aims at providing a simple and
5
30
  unified interface to a number of state-of-art `Boolean satisfiability (SAT)
6
31
  <https://en.wikipedia.org/wiki/Boolean_satisfiability_problem>`__ solvers as