Package Details: mathsat-5 5.6.9-1

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:
Votes: 1
Popularity: 0.000000
First Submitted: 2013-07-17 11:45 (UTC)
Last Updated: 2023-01-30 14:14 (UTC)

Dependencies (0)

Required by (0)

Sources (1)

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!