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

More sharing in ground translator

Issue #686 new
Bart Bogaerts created an issue

These warnings used to be in the ground translator

#warning need much more sharing in groundtranslator cp reify (negations!)
#warning optimize in solver by passing translator and adding a cheaper method to do the below for var comp int?

Comments (1)

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