1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (251–275 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#687: Extend delaycomputation to cases where useifcompletion is true
bug major wontfix
#372: no models for IQ puzzler
bug major resolved
#340: Longestbranch not enforced
bug major new
#714: Minus sign in optimization term leads to trashing
enhancement major resolved
#716: Incorrect models during aggregate optimization
bug major resolved
#715: Unnesting function dramatically improves propagation
bug major new
#710: Setting function interpretation to constructed from symbol
bug major resolved
#708: post processing definitions leading to invalid code path error
bug major invalid
#706: Running IDP on Windows 7 32bit
bug major resolved
#707: Partial Forward Continuation... (SIGSEGV)
bug major resolved 1
#590: Function interpretations should be able to handle non-denoting tuples properly
enhancement major open
#674: Releasen op externe site?
proposal major resolved
#701: Cp does only a partial job of allowing nested function terms
bug major new
#684: "findall" predicates in IDP are translated incorrectly into XSB
XSB
bug major resolved
#682: XSB does not support constructor functions
bug major resolved
#698: isConsistent does not check function constraints
bug major new
#626: Symmetry breaking fails in bootstrapping definitions postprocessing code
bug major resolved
#690: LG: handle functions, sorts and definitions and equivalence in "extendStructure"
bug major new
#689: LG: Expected bug: too many models: the Tseitin is generated using an implication
bug major new
#459: factlist bug
bug major resolved 1
#681: XSB not properly handling exponential function
bug major resolved
#678: XSB cannot handle negative integers
XSB
bug major resolved
#667: IDP fails on non-flat, non-pushed negations theories
bug major resolved
#679: Building IDP 3.3.0
bug major resolved
#610: Bug in theoremprover
bug major resolved
  2. 1
  3. 2
  4. …
  5. 9
  6. 10
  7. 11
  8. 12
  9. 13
  10. 14
  11. …
  12. 27
  13. 28