Package details
| Package | py3-simplesat |
|---|---|
| Version | 0.8.2-r0 |
| Description | Prototype for SAT-based dependency handling |
| Project | https://github.com/enthought/sat-solver |
| License | BSD-3-Clause |
| Branch | edge |
| Repository | testing |
| Architecture | aarch64 |
| Size | 214.0KiB |
| Installed size | 1.8MiB |
| Origin | py3-simplesat |
| Maintainer | Marian Buschsieweke |
| Build time | 2024-07-20 11:09:01 |
| Commit | dc539c78dc1f61745fc52ed21a0fd117e3a25dae | Merge request | 68734 |
| Git repository | Git repository |
| Build log | Build log |
| Contents | Contents of package |