Sign me up Login

Details about package "yices2"

Name: yices2
Uploader: Ian A. Mason <iam@csl.sri.com> (Debian QA page)
Description: libyices2.5 - Yices SMT Solver API Library
yices2 - Yices SMT Solver
yices2-dbg - Yices SMT Solver
yices2-dev - Yices SMT Solver API Support

Package versions

Version 2.5.3-1

Information

Version: 2.5.3-1
Uploaded: 2017-08-10 17:19
Source package: https://mentors.debian.net/debian/pool/main/y/yices2/yices2_2.5.3-1.dsc
Section: misc
Priority: optional
Closes bugs: 864786

QA information

Comments

No comments

Version 2.6.0-2

Information

Version: 2.6.0-2
Uploaded: 2017-06-15 16:28
Source package: https://mentors.debian.net/debian/pool/main/y/yices2/yices2_2.6.0-2.dsc
Section: misc
Priority: optional
Closes bugs: 864786

QA information

Comments

No comments