Search Criteria
Package Details: mathsat-5 5.6.9-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/mathsat-5.git (read-only, click to copy) |
|---|---|
| Package Base: | mathsat-5 |
| Description: | MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities |
| Upstream URL: | http://mathsat.fbk.eu/ |
| Licenses: | GPL, custom, LGPL |
| Submitter: | Ice_Phoenix |
| Maintainer: | Ice_Phoenix (abdullin.am) |
| Last Packager: | abdullin.am |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2013-07-17 11:45 (UTC) |
| Last Updated: | 2023-01-30 14:14 (UTC) |
Latest Comments
J5lx commented on 2023-01-23 15:17 (UTC)
Could you please include the Python bindings in the package, too? An example for Python packaging can be found on the wiki. Thanks!