krr / IDP / issues / #147 - Complete code for generating approximating definitions — Bitbucket

Issue #147 resolved

Broes De Cat created an issue 2012-05-02

Blocked by Tseitin introduction code.

Comments (4)

Broes De Cat reporter
- changed milestone to Later
- 2012-05-18T10:16:21+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:10+00:00
Bart Bogaerts
- assigned issue to
  
  Joachim Jansen
Fixed?
- 2013-08-09T12:11:07+00:00
Joachim Jansen
- changed status to resolved
done in the branch approximating_definitions
- 2013-08-09T13:55:24+00:00
Log in to comment

Assignee: Joachim Jansen

Type: enhancement

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

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