Alpha icon indicating copy to clipboard operation
Alpha copied to clipboard

Published 20 hours ago • verified publisher icon alpha-asp

Improve ReplayHeuristic

Open rtaupe opened this issue 5 years ago • 0 comments

ReplayHeuristic has been introduced for #172 and has been implemented in a minimally viable way. In this issue, we collect improvements to be implemented in the future:

  • [ ] provide replay choices as ground atoms (e.g. holds(a)) instead of signed solver-internal atom IDs
  • [ ] provide replay choices via files instead of command-line arguments
  • [ ] ...

rtaupe avatar Mar 14 '19 09:03 rtaupe