Package details
Package | py3-pycosat |
---|---|
Version | 0.6.6-r0 |
Description | Python bindings to picosat (a SAT solver) |
Project | https://github.com/conda/pycosat |
License | MIT |
Branch | edge |
Repository | testing |
Architecture | riscv64 |
Size | 45.59 kB |
Installed size | 132 kB |
Origin | py3-pycosat |
Maintainer | Jakub Jirutka |
Build time | 2024-01-14 14:32:18 |
Commit | d1649935f0088b432982f63aa622e9f88e423df9 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |