krr / IDP / issues / #822 - CP and powers — Bitbucket

Issue #822 new

Ingmar Dasseville created an issue 2014-10-05

a = b*c+a*a.

can is grounded using cp while

a = b*c+a^2.

isn't, when the exponents are known, CP can be used

http://seldon.cs.kuleuven.be/idp/?src=a20bf37b41cdfdac8a8e

Comments (3)

JoD
related to #800
- 2015-05-07T14:35:14+00:00
JoD
related to Issue #564
- 2015-05-07T15:37:57+00:00
JoD
and Issue #214 :)
- 2015-05-07T15:52:57+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 2

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