Search Criteria
Package Details: python-simplesat 0.9.2-1
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: | BSD-3-Clause |
| Submitter: | arojas |
| Maintainer: | ppalazon |
| Last Packager: | ppalazon |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2025-03-31 19:40 (UTC) |
| Last Updated: | 2026-04-09 06:59 (UTC) |
Dependencies (6)
- python (placeholder-for-pythonAUR)
- python-attrs (python-attrs-gitAUR)
- python-okonomiyakiAUR
- python-six
- git (git-gitAUR, git-glAUR, git-wd40AUR) (make)
- python-setuptools (make)