1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (126–150 of 203)

Title T P Status Votes Assignee Version Created Updated Actions
#595: Approximatie + functions
enhancement major new
#577: Factlist range parsing bug
bug major new
#589: Inefficient generator for nqueens
enhancement major new
#575: ASP printer and quotes
bug major new
#574: ASP printer should remove capitals
bug major new 1
#572: make package should make IDE-compatible file
bug major new
#554: Memory is not properly freed when grounding is aborted.
bug major new
#542: Builtin functions sometimes need structure to get an interpretation
bug major new
#428: Issues with infinity
bug major new
#491: Grounding should handle partially interpreted functions better
enhancement major new
#536: Lazy grounding and constructed types
bug major new
#534: Evaluate known expressions before MX starts
enhancement major new
#471: Constructed types should be printed in the vocabulary
bug major new
#528: Typing too strict
task major new
#509: Include within namespaces gives incorrect results
bug major new
#424: Generating with bounds with subtypes?
bug major new
#521: Programming By Optimization
proposal major new
#514: Definition grounding is really inefficient for large relationships
bug major new
#513: Adapt parser and documentation to accept input defined in the Warren paper
bug major new
#349: Terugpropageren unit propagatie minisatid
enhancement major new
#451: Iteratively generate additional models.
enhancement major new
#105: Warning when completing types!
Parser
bug major new
#494: Fix the transfer from cp-off to cp-on properly in the test environment.
bug major new
#492: Issues with evaluation of bdds, mainly when functions are involved
bug major new
#490: Changing interpretation through lua: empty types
bug major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9