Search Criteria
Package Details: python-pysmt-git 0.9.0.r86.g131a275-1
| Git Clone URL: | https://aur.archlinux.org/python-pysmt-git.git (read-only, click to copy) |
|---|---|
| Package Base: | python-pysmt-git |
| Description: | A library for SMT formulae manipulation and solving |
| Upstream URL: | https://github.com/pysmt/pysmt |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | kyechou |
| Maintainer: | kyechou |
| Last Packager: | kyechou |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2019-11-13 09:51 |
| Last Updated: | 2020-12-24 17:02 |
Dependencies (4)
- python (python-dbg)
- git (git-git) (make)
- python-setuptools (make)
- python-six (make)