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

Unsat core extraction bug

Issue #567 resolved
Broes De Cat created an issue

Er zit een bug in de solver waardoor verkeerde explanations gegeneerd kunnen worden. Gezien de oorzaak van de bug is het bijna niet te geloven dat niemand daar eerder op is gebotst :)

Comments (1)

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