Package Details: yices-bin 2.4.2-1

Git Clone URL: https://aur.archlinux.org/yices-bin.git (read-only)
Package Base: yices-bin
Description: An automatic theorem prover - download release binary
Upstream URL: http://yices.csl.sri.com/
Licenses: custom
Conflicts: yices
Provides: yices
Submitter: pherms
Maintainer: spaceships
Last Packager: spaceships
Votes: 7
Popularity: 0.069712
First Submitted: 2009-11-05 16:32
Last Updated: 2016-02-15 16:09

Dependencies (0)

Required by (2)

Sources (1)

Latest Comments

pherms commented on 2011-03-14 13:27

Done.

simon04 commented on 2011-03-11 08:48

Thanks for updating the packet! Please install the header and lib as well s.t. other applications can use that ... I added the following to the build() section
install -D include/yices_c.h "$pkgdir"/usr/include/yices_c.h
install -D include/yicesl_c.h "$pkgdir"/usr/include/yicesl_c.h
install -D lib/libyices.a "$pkgdir"/usr/lib/libyices.a
Thanks!