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