1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (101–125 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#906: Segfault in LTC theory transformations when invalid input is presented
bug major new
#904: printcore complaining about inconsistent structure
bug major new
#902: XSB bites the dust again
bug major resolved
#793: Buildbot: compile without xsb
bug major resolved
#802: Compile all necessary XSB built-in files during IDP's compilation process
bug minor open
#898: minimization over max aggregate behaves strangely
bug critical wontfix
#899: Meer tests met CP aan
enhancement minor resolved
#900: CP vs function constraints
bug major resolved
#896: Model iterator terribly fails with cp on
bug major resolved
#897: Model Expansion fails terribly
bug major resolved
#895: Constructed types are not properly cloned
bug major new
#875: Problem with interpreted types
bug major new
#894: Extended unsatcore
proposal minor new
#893: approximation wrong
bug major new
#885: larger domain leads to fewer solutions
bug major resolved
#892: Disambiguation problems
bug major new
#891: Options are broken (lua option interface?)
bug major new
#890: IDP complains about not minimizing WHILE minimizing
bug major new
#889: Parse string as theory
enhancement major new
#888: Printcore met constraint als string als argument
enhancement minor wontfix
#887: Printcore met outputvoc
enhancement minor new
#886: Printcore prints rules twice
bug major new
#884: Type derivation/checking issue
bug major new
#822: CP and powers
bug major new
#214: The exponential function is only implemented as a float^3 relation
bug major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. …
  10. 39
  11. 40