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!