1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Enable solver simplifier by default if no lazy grounding is done

Issue #749 resolved
Broes De Cat created an issue

Or fix the simplifier to work in case of lazy grounding (more difficult)

Comments (1)

  2. Log in to comment
Assignee
–
Type
enhancement
Priority
major
Status
resolved
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!