Processing control commands: > owner -1 ! Bug #864786 [wnpp] [ITP] yices2 -- satisfiability modulo theory solver by SRI Owner recorded as Ian A Mason <i...@csl.sri.com>.
-- 864786: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864786 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
