a929d193

By: ValentinHirschi <valentin.hirschi@gmail.com>

feat(solver): propagate definite guards and expose source-order diagnostics
Time to Start Worker time Duration Time to finish Idle
Config - - - - 751h20m26s
Eval - - - - -
Build - - - - -
Suite - - - - 751h20m26s