krr / IDP / issues / #152 - ECNF of optimization problem — Bitbucket

Issue #152 new

Broes De Cat created an issue 2012-05-04

Currently, it is impossible to print a "ground" optimization problem, as it consists of a theory AND an optimization statement over a term. Find a clean way to print them out.

Comments (5)

Broes De Cat reporter
- changed milestone to Later
- 2012-05-18T10:15:59+00:00
Bart Bogaerts
If I am correct, minisatID accepts minization input in the forms
- mnmz
- subsetmnmz
- aggmnmz
(source: some input-format file in minisatID)

Shouldn't we simply produce this format?
- 2012-12-12T14:45:33+00:00
Broes De Cat reporter
Printing is one issue, but also do we need an idp "block" which combines a theory and an optimization statement or should the user print them separately, or ...
- 2012-12-12T15:06:02+00:00
Broes De Cat reporter
- changed title to ECNF of optimization problem
- 2013-01-03T12:13:05+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:10+00:00
Log in to comment

Assignee: –

Type: proposal

Priority: minor

Status: new

Component: –

Version: –

Votes: 0

Watchers: 0

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