Package Details: yices 2.6.1-1

Git Clone URL: https://aur.archlinux.org/yices.git (read-only)
Package Base: yices
Description: The Yices SMT Solver
Upstream URL: http://yices.csl.sri.com/
Licenses: custom
Conflicts: yices-bin
Submitter: spaceships
Maintainer: amaloz (spaceships)
Last Packager: amaloz
Votes: 2
Popularity: 0.84
First Submitted: 2015-08-11 17:40
Last Updated: 2018-11-12 16:58

Dependencies (2)

Required by (1)

Sources (1)

Latest Comments

jdarch commented on 2015-10-06 18:45

build dependencies are missing, at least gperf.