1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (251–275 of 343)

Title T P Status Votes Assignee Version Created Updated Actions
#408: SPASS interface cannot handle " ' " symbol
bug minor new
#403: Using sorts to minimize grounding
Grounding
enhancement minor new
#396: isConsistent should check the function constraints
bug minor new
#392: IDP printer sometimes forgets points
bug major new
#390: [evaluate_defs_after_mx] enable also when searching for more than one model
enhancement minor new
#382: Make a webpage comparing asp-core2 models with IDP models
task minor new
#379: Type detection with theorem prover
proposal major new
#378: Predicatetables with arity 1 as sorttables
enhancement minor new
#371: Inconsistentelements can be replaced by a counter
enhancement trivial new
#368: Merging interpretations of types may result in unsat
bug minor new
#367: Type derivation and lifted unit propagation are not smart enough in case of subtypes.
bug minor new
#15: Predicates names should not be used for disambiguation
bug minor new
#209: To aggform or not to aggform
enhancement minor new
#240: Licenties
enhancement major new
#345: Meaning of "builtin" is unclear
enhancement minor new
#287: Merging theories over different vocabulary
enhancement minor new
#358: For f(...)=z the correct type for z should be derived
bug minor new
#355: Aborting model expansion when models have already been found should return those.
enhancement minor new
#351: Bug in infinite generator
bug minor new
#350: c=c wordt niet vervangen door true.
bug minor new
#344: Add support for non-integer constants in the grounding
enhancement major new
#343: Printing ASP
enhancement major new
#156: Implement mx validation by evaluating the theory [blocked by #149]
enhancement minor new
#12: Universele quantoren en equivalenties/definities
enhancement minor new
#26: Document and unit-test create-translation option
Testing
enhancement minor new
  2. 1
  3. 2
  4. …
  5. 9
  6. 10
  7. 11
  8. 12
  9. 13
  10. 14