Massimiliano Culpo c5cdc2c0a2 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

2024-07-04 08:19:52 +02:00

..

spack

Heuristic decays to default over time (#45023)

2024-07-04 08:19:52 +02:00