krr / IDP / issues / #441 - Grounding to conditional sums and products — Bitbucket

Issue #441 resolved

Bart Bogaerts created an issue 2013-06-12

The grounder should be implemented to be able to work with the new kind of sums and products in the solver (should be a simplification)

Comments (2)

Broes De Cat
- assigned issue to
  
  Broes De Cat
- 2013-06-12T11:49:10+00:00
Broes De Cat
- changed status to resolved
- 2013-06-14T10:47:44+00:00
Log in to comment

Assignee: Broes De Cat

Type: task

Priority: major

Status: resolved

Component: cp-support

Version: –

Votes: 0

Watchers: 1

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