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

c=c wordt niet vervangen door true.

Issue #350 new
Broes De Cat created an issue

De literal c=c met c een constante wordt helemaal geground.

Comments (1)

  1. Broes De Cat reporter

    Should be solved by applying the new transformation which detects identical terms on the whole theory.

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