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

translateNonReduced has an incomplete name

Issue #546 new
Bart Bogaerts created an issue

it also adds the translated literal's value to the solver, which is not clear from the name.

Also document this please

Comments (1)

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