1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (601–625 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#299: Allow feature-based unit testing
Testing
enhancement major new
#150: Test code to replace predicates with terms in them by tseitins
Inferences
enhancement major new
#224: Cardinality syntax
bug major invalid
#316: Unnesting in Rule Bodies
bug major resolved
#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
#274: Creating infinite grounding when old version didn't
bug major new
#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
#207: pdflatex in cmake geeft te weinig output
bug major invalid
#273: Shutdown failed, aborting.
bug major resolved
#257: Bdd generation crashes if there are free variables present
bug major resolved
#269: Nqueens using an unreasonable amount of memory
bug major open
#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
#232: Generators: is it important that they generate from small to big?
task major duplicate
#239: Prevent unnesting during generator creation
bug major new
#228: LUP can be optimized
BDDs
enhancement major resolved
#281: Variable only occurring in quantification
Parser
bug major resolved
  2. 1
  3. 2
  4. …
  5. 23
  6. 24
  7. 25
  8. 26
  9. 27
  10. 28