krr / IDP / issues / #60 - Link between ground and FO(.) formulas — Bitbucket

Issue #60 new

Broes De Cat created an issue 2011-12-13

For debugging purposes, there should be a link back from ground formulas (specifically those in the solver) to their original instantiated formulas.

Probably best solve this approximately at first.

Comments (2)

Broes De Cat reporter
- changed milestone to Later
- assigned issue to
  
  Roel Standaert
- 2012-05-18T13:02:15+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:12+00:00
Log in to comment

Assignee: Roel Standaert

Type: enhancement

Priority: major

Status: new

Component: Grounding

Version: 2.1

Votes: 0

Watchers: 1

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