You are here:
Package: python-pysmt
| Summary: | Solver-agnostic library for SMT Formulae manipulation and solving |
|---|---|
| Description: | |
| URL: | http://www.pysmt.org |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/python-pysmt |
| Koschei: | https://koschei.fedoraproject.org/package/python-pysmt |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| EL-8 | epel-stable | 0.8.0-2.el8 | ||
| f42 | base | 0.9.5-9.fc42 | ||
| f41 | base | 0.9.5-7.fc41 | ||
| f40 | base | 0.9.5-5.fc40 | ||
| f39 | base | 0.9.5-3.fc39 | ||
| f38 | base | 0.9.0-8.fc38 | ||
| f37 | base | 0.9.0-7.fc37 | ||
| f36 | base | 0.9.0-5.fc36 | ||
| f35 | base | 0.9.0-4.fc35 | ||
| f34 | base | 0.9.0-2.fc34 | ||
| f33 | base | 0.9.0-1.fc33 | ||
| f32 | testing | 0.8.0-2.fc32 | ||
| base | 0.8.0-2.fc32 | |||
| f31 | updates | 0.8.0-2.fc31 | ||
| f30 | updates | 0.8.0-2.fc30 |