1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–25 of 35)

Title T P Status Votes Assignee Version Created Updated Actions
#141: Propagation for aggregates
BDDs
task major new
#48: Transformaties
Testing
task major resolved
#77: Introduced Variables
bug major resolved
#34: type derivation
Testing
task blocker resolved
#66: Incorrect wellfoundedness check
MinisatID
bug major resolved
#64: Parser introduceert nieuwe domeinelementen
Parser
bug major resolved
#41: Calculating known definitions
Testing
task major resolved
#31: Weights changed by aggrounder
Grounding
bug major resolved
#36: Float, string
Testing
task blocker resolved
#6: AssertionException in UNSATagg.idp
bug major resolved
#76: Commands changing input
bug major resolved
#35: Documentation
task blocker resolved
#37: Release version
task critical resolved
#33: Testing of basic commands
task blocker resolved
#8: pf complement of ct?
bug major resolved
#61: Licences and project layout
task major resolved
#47: Propagatie
Testing
task major resolved
#24: Negative and zero weights in product sets
Grounding
bug major resolved
#59: Making structure inconsistent
bug major resolved
#63: LDFLAGS or LDADD
bug major resolved
#10: Sokoban moon-bug
bug major wontfix
#14: standard library files
Parser
enhancement critical resolved
#72: bug in social golfers
bug major resolved
#58: Bug in generating all 2-valued models when there are arbitraries with bounds
bug major resolved
#55: UNSAT found, expected SAT
Inferences
bug major resolved
  2. 1
  3. 2