1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (601–625 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#481: EqChainForm detection on theories
enhancement major new
#457: XSB aggregate unnesting bug
bug minor resolved
#461: calculate definitions produces incorrect results
bug major invalid
#478: vector out-of-bounds with constructed types
bug major resolved
#465: Return code when MinisatID goes out of memory
bug minor resolved
#477: Missing consistency check for functions
bug major duplicate
#475: Comma vs semicolon in list of constructor functions?
enhancement minor new
#462: c = {3} not allowed for functions
bug minor invalid
#464: getInverseTable optimization for bdds
enhancement major new
#463: Throw error when defining keywords as symbols such as max, sum, ...
bug minor new
#460: Static symmetry breakers often go in memory overflow in more realistic ASP instances
enhancement major new
#455: Improve two-valuedness handling of terms and atoms
enhancement major new
#454: Approximatie voor functies mag niet op de grafe redeneren
bug major new
#453: Exploit equalities to make smarter grounding
cp-support
enhancement minor new
#449: Shared Tseitin detection and CP support
cp-support
bug major resolved
#429: Timeout with CP-support
cp-support
bug minor resolved
#441: Grounding to conditional sums and products
cp-support
task major resolved
#445: Conditional aggregates are still buggy
bug major resolved
#446: Querying could be done with XSB
XSB
enhancement minor new
#443: Bug in Generator for simple tables (when type information is provided)
bug major new
#444: Ground theory information is incorrect+incomplete
bug minor new
#438: XSB (probably) does not like strings
XSB
bug major resolved
#436: Does IDP allow duplicate atoms (structure and/or factlist) as input and how does the output look like
bug minor new
#434: Inference-specific resource constraints
enhancement minor new
#431: Catch all signals
task trivial new
  2. 1
  3. 2
  4. …
  5. 23
  6. 24
  7. 25
  8. 26
  9. 27
  10. 28
  11. …
  12. 39
  13. 40