Package Details: mathsat-5 5.2.10-3

Git Clone URL: https://aur.archlinux.org/mathsat-5.git (read-only)
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
Last Packager: Ice_Phoenix
Votes: 1
Popularity: 0.000000
First Submitted: 2013-07-17 11:45
Last Updated: 2015-07-01 09:57

Dependencies (0)

Required by (1)

Sources (1)