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 | armv7 |
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 |