1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Bug in ground with bounds or CP, related to arithmetic (probably product)

Issue #926 new
Bart Bogaerts created an issue

Following file fails randomly when groundwithbounds is on: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=d454fbc614f507f9ce01d2e8e0bffaf2

Comments (0)

  1. 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!