Bug#864834: [ITP] libpoly -- a C library for manipulating polynomials

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

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

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