1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (326–350 of 389)

Title T P Status Votes Assignee Version Created Updated Actions
#283: Double includes
Parser
bug major resolved
#317: Quantify in fobddmanager
bug major resolved
#313: Should turn all our tostring operations into << operators taking a stream!
bug major resolved
#241: Naamgeving Runidp vs IDP
bug major resolved
#306: Approximation cannot be used in recursive rules
Grounding
bug major resolved
#314: Printing of structures adds strange comma's to a predicate's interpretation.
bug major resolved
#206: Grounder should use SATstate of solver
bug major resolved
#307: Several parsetests failing
bug major resolved
#248: Sort derivation incorrect for nested aggregates
bug major resolved
#273: Shutdown failed, aborting.
bug major resolved
#257: Bdd generation crashes if there are free variables present
bug major resolved
#250: Infinite grounding where there shouldnt be one
bug major resolved
#270: Merging Fails
bug major resolved
#289: Segfault when minizing over a term of another vocabulary
bug major resolved
#228: LUP can be optimized
BDDs
enhancement major resolved
#281: Variable only occurring in quantification
Parser
bug major resolved
#284: Empty definitions should be allowed
Parser
bug major resolved
#272: Bdd with free variable is created during propagation
BDDs
bug major resolved
#246: Empty function interpretations
Parser
bug major resolved
#256: Bounds generator not smart enough
bug major resolved
#265: Unnesting is incorrect in the case of x-x2
bug major resolved
#260: Nqueens.idp groundwithbounds performance issue
enhancement major resolved
#261: Segment fault (Core dump)
bug major resolved
#254: Optimize getting inverse of predtable
enhancement major resolved
#252: ToString for shared pointers.
bug major resolved
  2. 1
  3. 2
  4. …
  5. 11
  6. 12
  7. 13
  8. 14
  9. 15
  10. 16