slothy-optimizer / slothy

Assembly super-optimization via constraint solving
https://slothy-optimizer.github.io/slothy/
Other
156 stars 9 forks source link

Split heuristic performance estimation #67

Closed mkannwischer closed 2 months ago

mkannwischer commented 2 months ago

Resolves #66

Still WIP. Still have to put this behind a config option and re-run all the optimization using the split heuristic.

hanno-becker commented 2 months ago

@mkannwischer Ready?

mkannwischer commented 2 months ago

No, not yet.

mkannwischer commented 2 months ago

I added a configuration option (split_heuristic_estimate_performance) defaulting to True. I've verified now that the configuration option works fine for both False and True.

Maybe it is not required to re-run all the examples at this point.

hanno-becker commented 2 months ago

@mkannwischer Agree