Gentoo Portage Overlays - sci-mathematics/yices2

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/yices2

SMT Solver supporting SMT-LIB and Yices specification language

Screenshots

https://github.com/SRI-CSL/yices2/

yices2-2.6.5

~amd64 ~x86

+mcsat

View

Download

Browse License: GPL-3+

Overlay: gentoo

yices2-2.6.4-r1

~amd64 ~x86

+mcsat

View

Download

Browse License: GPL-3+

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.