Package Details: yices 2.6.1-1

Git Clone URL: (read-only, click to copy)
Package Base: yices
Description: The Yices SMT Solver
Upstream URL:
Licenses: custom
Conflicts: yices-bin
Submitter: spaceships
Maintainer: amaloz (spaceships)
Last Packager: amaloz
Votes: 3
Popularity: 0.83
First Submitted: 2015-08-11 17:40
Last Updated: 2018-11-12 16:58

Dependencies (2)

Required by (2)

Sources (1)

Latest Comments

jdarch commented on 2015-10-06 18:45

build dependencies are missing, at least gperf.