1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–25 of 361)

Title T P Status Votes Assignee Version Created Updated Actions
#994: Comment lines & Line break
Parser
bug major new
#993: Overloaded predicates & SPASS
bug major new
#961: XSB and constructed types
bug major new
#960: MX changes input structure
bug major new
#959: Spass makefiles: bug in inclusion
bug major new
#903: cardinality in non-recursive definition goes wrong
bug major open
#928: Model invalidation CP bug
bug major new
#958: optimalpropagate requires some formula over the symbol in the theory to work correctly
bug major new
#957: sub-vocabulary in modelexpand ?
bug major new
#951: 'true' not recognized in cp-expression
bug major new
#956: Explicit typing breaks type inference
bug major new
#955: Multiplication bug
bug minor new
#935: Bugs in XSB with outputvoc
bug major new
#942: Models over output vocabulary
bug minor new
#949: Fix not yet implemented stuff for BDDs with Aggregates
task minor open
#950: Grounding performance issue when using functions
bug major new
#945: Wrong paths in MacOS High Sierra
bug major open
#948: Investigate link between using replaceVariablesUsingEqualities and correctness
task major new
#946: Bug in ExplainUnsat
bug major new
#943: Slow propagation to structure and grounding because of BDD?
bug minor new
#941: Not executing some theorytransformation causes bug in
bug major new
#938: User-interpreted types should be printed
bug major new
#933: Overloaded constructors
bug major new
#932: Grounder incorrectly simplifies definitions.
Grounding
bug major new
#865: Comments have influence on behaviour
bug major open
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. …
  9. 14
  10. 15