krr / IDP / issues / #150 - Test code to replace predicates with terms in them by tseitins — Bitbucket

Issue #150 new

Bart Bogaerts created an issue 2012-05-04

See theory/transformations/ReplaceNestedWithTseitin.

Or maybe we should go towards E-graphs and treating everything as terms?

Comments (3)

Broes De Cat
- changed milestone to Later
- 2012-05-18T10:16:08+00:00
Bart Bogaerts reporter
- removed assignee
- 2013-01-14T17:02:57+00:00
Broes De Cat
- removed milestone
- changed component to Inferences
- changed title to Test code to replace predicates with terms in them by tseitins
- marked as enhancement
- edited description
- 2013-01-14T20:20:49+00:00
Log in to comment

Assignee: –

Type: enhancement

Priority: major

Status: new

Component: Inferences

Version: –

Votes: 0

Watchers: 1

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