krr / IDP / issues / #68 - Floats in aggregates — Bitbucket

Issue #68 resolved

Bart Bogaerts created an issue 2011-12-15

Zijn momenteel toegelaten. Solver kan dit echter niet aan (denk ik toch)...

Comments (3)

Bart Bogaerts reporter
- changed milestone to First Release 25/12/2011
- changed version to 2.0
- 2011-12-23T15:06:57+00:00
Stef De Pooter
- removed milestone
- removed version
zie floatsum.idp test
- 2011-12-23T15:09:10+00:00
Bart Bogaerts reporter
- changed status to resolved
- 2012-03-13T12:26:32+00:00
Log in to comment

Assignee: –

Type: task

Priority: major

Status: resolved

Component: MinisatID

Version: –

Votes: 0

Watchers: 1

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