1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (26–50 of 266)

Title T P Status Votes Assignee Version Created Updated Actions
#843: unsat when LUP is active
bug minor new
#347: append as lua function
proposal minor resolved
#692: Improve function check for partial interpretations
task minor invalid
#497: Debugging with Theorem prover
proposal minor new
#816: Exponential function causes overflow
bug minor duplicate
#845: Bootstrapping disable function
proposal minor resolved
#839: Running XSB tests shows big memory leak
bug minor new
#773: Set grounding throws exception if term is partial
bug minor resolved
#804: Add removal of xsbinstall directory to make clean command
bug minor resolved
#815: CP Support
bug minor resolved
#753: Add Output vocabulary to allmodels and onemodel procedures
enhancement minor resolved
#805: Propagation is VERY bad
bug minor new 1
#743: Unsatcore features
enhancement minor resolved
#566: Overloaded predicates with different arities
bug minor new
#789: Approxdefs crashes
bug minor new
#795: Currently xsb_compiler.P's built-in type for char returns too much
task minor new
#783: Modelexpand is not always unique on output vocabularium
bug minor duplicate
#640: Model invalidation is incorrect in case of functions in the output vocabulary and cpsupport on
bug minor closed
#675: Merging of two small structures with large-arity predicates is slow and memory-intensive
enhancement minor new
#766: Printing (function?) symbols
bug minor new
#762: Checking whether a loop is possible could be more intelligent (taking order/builtins into account)
enhancement minor new
#761: Make randomized heuristic available from solver
proposal minor new
#754: DeleteList does not recursively delete!
bug minor new
#740: HW experiment - report
enhancement minor new
#746: Typederivation wrong
bug minor invalid
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. 10
  12. 11