Wed Jun 19 2013 13:06:33 CEST
 Bugzilla would like to put a random quip here, but no one has entered any.
ID▲ Sev Pri▲ OS Assignee▼ Status▲ Resolution Summary
217 enh P5 Linu waldmann NEW --- implement timeout for external solver
219 enh P5 Linu waldmann NEW --- optimized-away variables must still be assigned
259 maj P5 othe waldmann NEW --- Wrong decoding of first bit (Yices backend)
3 bugs found.
  CSV | Feed | iCalendar | Change Columns | Edit Search  
as

File a new bug in the "satchmo" product