Skip to content
Snippets Groups Projects
Commit cba347e0 authored by Massimiliano Culpo's avatar Massimiliano Culpo Committed by Harmen Stoppels
Browse files

Heuristic decays to default over time (#45023)

This modifies heuristic to decay to clingo default
over time. The hope is that this helps with specs
that have an optimal solution with a high penalty.

Let target and compiler heuristic decay too, do not
guess compiler
parent a3cef0f0
No related branches found
No related tags found
No related merge requests found
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment