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

CP Support

Issue #815 resolved
Pieter Van Hertum created an issue

Deze file http://seldon.cs.kuleuven.be/idp/?src=f53d7c2e5dcd28b33890 werkt wel zonder en niet met CP. Met CP geeft hij onterecht unsat.

Het meegeven van het type voor distance lijkt het probleem op te lossen, dus er loopt waarschijnlijk iets mis met het aggregaat.

Comments (2)

  3. Log in to comment
Assignee
Type
bug
Priority
minor
Status
resolved
Component
–
Version
–
Votes
0
Watchers
4
Jira: the preferred issue tracker for Bitbucket. Join the team!