Bugs Maximize Restore

Showing 5 results of 5

# Summary Milestone Status Owner Created Updated
100 clingo: test failures on Fedora gringo-4.x accepted Roland Kaminski 2014-09-21 2015-02-17  
99 aspcud 1.9.0 build fails on OS X with boost 1.56 aspcud-1.x accepted Roland Kaminski 2014-09-21 2014-09-22  
98 Bad values for parameters in default configurations clasp-3.x accepted Benjamin Kaufmann 2014-08-25 2014-08-26  
96 clingcon 2.0.3 with choice rule and default negation other open Ostrowski Max 2014-07-11 2014-07-14  
57 clingcon 0.1.2 FTBFS with newer versions of gecode other open Ostrowski Max 2011-12-27 2014-09-21  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)