Search Criteria
Package Details: python-python-sat 0.1.6.dev12-1
| Git Clone URL: | https://aur.archlinux.org/python-python-sat.git (read-only, click to copy) |
|---|---|
| Package Base: | python-python-sat |
| Description: | A Python library for prototyping with SAT oracles |
| Upstream URL: | https://github.com/pysathq/pysat |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | bmwinger |
| Maintainer: | bmwinger |
| Last Packager: | bmwinger |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2020-04-02 17:47 |
| Last Updated: | 2021-02-13 17:56 |