Search Criteria
Package Details: python-simplesat 0.8.2-8
Package Actions
| Git Clone URL: | https://aur.archlinux.org/python-simplesat.git (read-only, click to copy) |
|---|---|
| Package Base: | python-simplesat |
| Description: | SAT solver for use in Enstaller, based on the MiniSat implementation |
| Upstream URL: | https://github.com/enthought/sat-solver |
| Licenses: | MIT |
| Submitter: | arojas |
| Maintainer: | None |
| Last Packager: | arojas |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2025-03-31 19:40 (UTC) |
| Last Updated: | 2025-03-31 19:40 (UTC) |
Dependencies (6)
- python (python37AUR, python311AUR, python310AUR)
- python-attrs
- python-okonomiyakiAUR
- python-six
- git (git-gitAUR, git-glAUR) (make)
- python-setuptools (make)