1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (201–225 of 343)

Title T P Status Votes Assignee Version Created Updated Actions
#471: Constructed types should be printed in the vocabulary
bug major new
#466: Non-deterministic memory overflow during grounding of packing
enhancement minor new
#517: Informatie op de site over hoe idp te runnen
enhancement minor new
#519: Review grounder transformations to reduce context switches, to prevent unnecessary Tseitins
enhancement minor new
#532: Unit tests for unsat_core extraction / debugging
enhancement minor new
#529: Printing structure predicate relations on one line not always the best
proposal minor new 1
#528: Typing too strict
task major new
#531: Building with XSB in empty, new directory fails (only the first time)
bug trivial 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
#510: Try to model LTC with the new constructor functoins
task minor new
#503: Allow conjunctions in heads
Parser
enhancement minor new 1
#502: Add tutorial examples to test suite
task minor 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
#332: Finer-grained timeout
enhancement minor new
#494: Fix the transfer from cp-off to cp-on properly in the test environment.
bug major new
#496: Query should check that its output vars are not internally quantified
enhancement minor new
#489: Parsing is not governed by timeout.
bug minor 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. …
  5. 7
  6. 8
  7. 9
  8. 10
  9. 11
  10. 12
  11. 13
  12. 14