krr / IDP / issues / #428 - Issues with infinity — Bitbucket

Issue #428 new

Bart Bogaerts created an issue 2013-05-27

Properly define and implement infinity semantics and how we handle overflow. For example, 2 empty sets are currently not equal (not with cp, not without). Probably also implementation differences between solver and grounder.

minmax.idp

Comments (3)

Bart Bogaerts reporter
- edited description
- 2013-05-27T09:15:10+00:00
Broes De Cat
- edited description
- attached minmax.idp
- 2013-10-08T15:53:31+00:00
Broes De Cat
- changed title to Issues with infinity
- removed component
- edited description
- attached minmax.idp
- 2013-10-09T10:42:06+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 1

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