1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (101–125 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#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
#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
#564: Bug in machtsverheffing
bug major new
#800: Exponential function support
bug major new
#863: merging structures
bug major resolved
KRR
#882: partial forward continuation segfault
XSB
bug major closed
#883: inconsistent behaviour
bug major new
#763: Merging Structures
bug major resolved
#858: printcore does nothing
bug major resolved
#847: Create e-mail alias for IDP devs
proposal major resolved
#881: Missing function check when XSB is on
bug major duplicate
#880: Unsatcore vs modelexpand
bug major new
#878: Error: Invalid bin constr path E.
bug major new
#874: Optimalpropagate does not yet work with CP
bug major new
#873: Structure warns without location
bug major new
#872: Wrong bound generation for definition of "even"
bug major new
#871: Printcore doesn't agree with modelexpand
bug major invalid
#870: a question about initialization in LTC
task major invalid
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. …
  10. 27
  11. 28