Issues
- 0
Release 0.6.5/6
#73 opened by dholth - 3
Install pycosat failed in MSYS2
#36 opened by duytrung - 1
ERROR: Failed building wheel for pycosat
#53 opened by ddharshan - 2
picosat.c build error
#35 opened by ThePrez - 0
- 1
release 0.6.5 (0.6.6) to pypi
#57 opened by dholth - 1
- 1
- 1
There is a new version of picosat
#9 opened by asmeurer - 1
- 1
Ability to not include unused variables
#12 opened by asmeurer - 11
Pycosat doesn't work with tuples
#13 opened by asmeurer - 4
Assumptions
#15 opened by jordiplanes - 1
- 1
Test cases are too narrow
#19 opened by msoos - 5
Weird itersolve behaviour
#20 opened by msoos - 2
Make copy of soliterator object
#23 opened by debugger22 - 2
- 3
Pycosat Statistics
#28 opened by trdavidson - 2
Why the un-pythonic API?
#14 opened by asmeurer - 3
- 3
pip install error
#34 opened by danmoser - 2
- 1
- 2
Allow dict keys to hold a formula
#6 opened by wkschwartz - 3
If $PYHTON is not defined, "make" fails
#16 opened by msoos - 2
- 1
provide wheel binaries on pypi
#24 opened by den-run-ai - 3
Use setuptools
#25 opened by opoplawski - 2
Fix __version__ on Windows
#21 opened by asmeurer - 2
picosat 960 ?
#22 opened by stonebig - 2
Version 0.6.3 pypi package is broken
#31 opened by Geethree