1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–25 of 74)

Title T P Status Votes Assignee Version Created Updated Actions
#879: Merging is slow
bug minor resolved
#801: Autocompletion and verification of function constraints still too slow
bug major new
#375: Generating functions <-> predicates
bug major resolved
#846: error without location
bug major resolved
#832: LTC in the manual
bug trivial new
#819: Problog : try standard inference
bug major resolved
#818: Problog : negative literals and their weights
bug major resolved
#627: Progression and false-defineds
bug major resolved
#722: Querying with BDDs
bug major resolved
#516: Querying with nested aggregates is incorrect
bug major resolved
#340: Longestbranch not enforced
bug major new
#714: Minus sign in optimization term leads to trashing
enhancement major resolved
#523: Splitdefinitions is wrong in case loops are not binary
bug minor resolved
#592: Create progression library
enhancement minor resolved
#634: non-domainelement changes definition
bug major new
#576: Progression: static formulas
bug major resolved
#525: Progression does not work with constructed types
bug major resolved
#585: progression: implement verification
proposal minor new
#581: Progression: error messages
bug minor new
#534: Evaluate known expressions before MX starts
enhancement major new
#442: Bug in xsb recursion over negation check
bug major resolved
#524: Progression does not remove atoms of the form (Time(Next(t))
bug major resolved
#424: Generating with bounds with subtypes?
bug major new
#360: Type int is derived where a finite type should be derived
bug minor invalid
#348: Do not replace bdds by their evaluation after approximation.
enhancement major invalid
  2. 1
  3. 2
  4. 3