python-sat 1.8.dev16__cp313-cp313-win_amd64.whl → 1.8.dev18__cp313-cp313-win_amd64.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.

Potentially problematic release.

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

Files changed (36) hide show
  1. pycard.cp313-win_amd64.pyd +0 -0
  2. pysat/__init__.py +1 -1
  3. pysat/allies/approxmc.py +1 -1
  4. pysat/allies/unigen.py +1 -1
  5. pysat/examples/bica.py +692 -0
  6. pysat/examples/fm.py +2 -3
  7. pysat/examples/hitman.py +35 -25
  8. pysat/examples/lbx.py +2 -2
  9. pysat/examples/lsu.py +3 -3
  10. pysat/examples/mcsls.py +2 -2
  11. pysat/examples/musx.py +1 -1
  12. pysat/examples/optux.py +35 -22
  13. pysat/examples/primer.py +620 -0
  14. pysat/examples/rc2.py +16 -10
  15. pysat/formula.py +149 -10
  16. pysat/pb.py +1 -1
  17. pysolvers.cp313-win_amd64.pyd +0 -0
  18. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/approxmc.py +1 -1
  19. python_sat-1.8.dev18.data/scripts/bica.py +692 -0
  20. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/fm.py +2 -3
  21. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/lbx.py +2 -2
  22. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/lsu.py +3 -3
  23. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/mcsls.py +2 -2
  24. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/musx.py +1 -1
  25. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/optux.py +35 -22
  26. python_sat-1.8.dev18.data/scripts/primer.py +620 -0
  27. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/rc2.py +16 -10
  28. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/unigen.py +1 -1
  29. {python_sat-1.8.dev16.dist-info → python_sat-1.8.dev18.dist-info}/METADATA +3 -2
  30. python_sat-1.8.dev18.dist-info/RECORD +46 -0
  31. {python_sat-1.8.dev16.dist-info → python_sat-1.8.dev18.dist-info}/WHEEL +1 -1
  32. python_sat-1.8.dev16.dist-info/RECORD +0 -42
  33. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/genhard.py +0 -0
  34. {python_sat-1.8.dev16.data → python_sat-1.8.dev18.data}/scripts/models.py +0 -0
  35. {python_sat-1.8.dev16.dist-info → python_sat-1.8.dev18.dist-info/licenses}/LICENSE.txt +0 -0
  36. {python_sat-1.8.dev16.dist-info → python_sat-1.8.dev18.dist-info}/top_level.txt +0 -0
pycard.cp313-win_amd64.pyd CHANGED
Binary file
pysat/__init__.py CHANGED
@@ -10,7 +10,7 @@
10
10
 
11
11
  # current version
12
12
  #==============================================================================
13
- VERSION = (1, 8, 'dev', 16)
13
+ VERSION = (1, 8, 'dev', 18)
14
14
 
15
15
 
16
16
  # PEP440 Format
pysat/allies/approxmc.py CHANGED
@@ -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
pysat/allies/unigen.py CHANGED
@@ -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