pycosat
pycosat copied to clipboard
conda
Python bindings to picosat (a SAT solver)
I found this code has a memory leak. This is a simple fix for that. Please check it. A memory will be allocated every time whenever calling `soliter_next` and it...
Resolves #35 for IBM i
Hello, I tried to install Pycosat 0.6.3 using "pip install pycosat" but failed and result was like this: ``` ➜ ~ pip install pycosat Collecting pycosat Using cached https://files.pythonhosted.org/packages/c0/fd/e38d68774c0a345b0090d608a90f1fbf423970d812f7ec7aef9ac024e648/pycosat-0.6.3.zip Installing...
### Description This is a shorter fix for #38, with apologies to the original submitter.
picosat.c has `#include ` but on some systems it should just be `#include ` The build error on IBM i is manifested as: ``` In file included from pycosat.c:19:0: picosat.c:8150:24:...
### Checklist - [X] I added a descriptive title - [X] I searched open reports and couldn't find a duplicate ### What happened? I coudn't pip install pycosat in my...
### Description Experiment with [cranko](https://pkgw.github.io/cranko/book/latest/), a newer release automation tool. ### Checklist - did you ... - [ ] Add a file to the `news` directory ([using the template](../blob/main/news/TEMPLATE)) for...