Bug#864786: [ITP] yices2 -- satisfiability modulo theory solver by SRI

[Ian A Mason]

Package: wnpp
Severity: wishlist
Control: owner -1 !