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

seg fault in solver

Issue #426 resolved
JoD created an issue

Running the attached ASP competition problem results in a segmentation fault during solving.

Comments (1)

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