krr / IDP / issues / #295 - Ignore Tseitin Symbol* created by IDP during mx — Bitbucket

Issue #295 new

Broes De Cat created an issue 2012-12-07

Currently, during mx, all symbols existing in idp are translated into the structure. Knowledge should be added that some symbols have been created for internal representation and should not be added to the structure.

Comments (2)

Broes De Cat reporter
- changed title to Tseitins back-translation during mx in IDP
- 2012-12-07T10:44:56+00:00
Broes De Cat reporter
- changed title to Ignore Tseitin Symbol* created by IDP during mx
- 2013-01-04T17:54:24+00:00
Log in to comment

Assignee: –

Type: enhancement

Priority: minor

Status: new

Component: –

Version: –

Votes: 0

Watchers: 0

Jira: the preferred issue tracker for Bitbucket. Join the team!