1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (126–150 of 343)

Title T P Status Votes Assignee Version Created Updated Actions
#711: Parsing FOBDDS: shared pointer to managers
bug minor new
#700: Grounding seems slow
enhancement minor new
#705: BDD nondeterminism in a very specific case
task minor new
#703: Unintelligible warnings on type derivation issue
bug minor new
#701: Cp does only a partial job of allowing nested function terms
bug major new
#698: isConsistent does not check function constraints
bug major new
#694: Improve definition postprocessing to allow multiple model finding
enhancement minor new
#693: Unit tests and Lua
enhancement minor new
#691: LG: make independent of pushquantifiers
task minor new
#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
#688: remove hack in termgrounder
task minor new
#686: More sharing in ground translator
task minor new
#685: Unclear error message when incorrect typing was specified
enhancement minor new
#499: Fobdds, functions, equality and derived symbols don't really work well together
BDDs
enhancement major new
#612: Predicate interpretations should be lua functions
enhancement minor new
#680: Make unification "predicate" smarter such that it does not result in an infinite type generator
enhancement major new
#671: Make XSB usage of operators less naive
XSB
enhancement major new
#670: XSB transformation should use Pieters' query intelligence
bug major new
#664: Estimators for bdds should not use ints
bug major new
#669: functiedefinities en LUP gaat serieus mis
bug major new
#668: local vars in lua procedures
bug major new
#662: Performance issues for large datasets
enhancement major new
#666: Copy source as part of build
enhancement minor new
#665: Cardinality aggterm should not have "1" as a subterm
enhancement major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. …
  11. 13
  12. 14