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

Clean terminating the search from requestTermination

Issue #84 resolved
Broes De Cat created an issue

The solver should not print "no more models exist"

NOTE: might also, when terminating the solver, get the models already found back into the grounder? Certainly useful for optimization

Comments (3)

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