krr / IDP / issues / #958 - optimalpropagate requires some formula over the symbol in the theory to work correctly — Bitbucket

Issue #958 new

JoD created an issue 2018-02-05

See http://dtai.cs.kuleuven.be/krr/idp-ide/?src=ef3200b99b9b03e2cb3ed8f2e7c3a3eb

Comments (1)

JoD reporter
- changed title to optimalpropagate requires some formula over the symbol in the theory to work correctly
- 2018-02-05T17:39:45+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!