PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.
| Uploaded | Wed Nov 20 18:33:20 2024 |
| md5 checksum | d08493903ff7893fbd82b943eabcabee |
| arch | x86_64 |
| build | py38h7b6447c_0 |
| depends | libgcc-ng >=7.3.0, python >=3.8,<3.9.0a0 |
| license | MIT |
| md5 | d08493903ff7893fbd82b943eabcabee |
| name | pycosat |
| platform | linux |
| sha1 | 24900577abb10833eccb9af172aad5195cf5fe01 |
| sha256 | da16e019848c9fab23fc6ca2e477d8f256db3cf69dfc8e9eaf771862313f2f47 |
| size | 88874 |
| subdir | linux-64 |
| timestamp | 1573668802680 |
| version | 0.6.3 |