Package Details: mathsat-5 5.2.10-3

Git Clone URL: (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:
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)