Package Details: yices-bin 2.5.4-1

Git Clone URL: (read-only, click to copy)
Package Base: yices-bin
Description: An automatic theorem prover - download release binary
Upstream URL:
Licenses: custom
Conflicts: yices
Provides: yices
Submitter: pherms
Maintainer: None
Last Packager: spaceships
Votes: 7
Popularity: 0.000000
First Submitted: 2009-11-05 16:32
Last Updated: 2017-11-05 21:56

Dependencies (0)

Required by (4)

Sources (1)

Latest Comments

pherms commented on 2011-03-14 13:27


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