Split Package Details - pycosat (x86_64)
1 package found.
| Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
|---|---|---|---|---|---|---|
| x86_64 | Extra | python-pycosat | 0.6.6-2 | Python bindings to picosat (a SAT solver) | 2024-04-27 |
1 package found.
| Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
|---|---|---|---|---|---|---|
| x86_64 | Extra | python-pycosat | 0.6.6-2 | Python bindings to picosat (a SAT solver) | 2024-04-27 |