0bdd60af

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

Require the Symbolica 2 API used for model evaluation
GitHub
Time to Start Worker time Duration Time to finish Idle
Config - - - - 360h44m30s
Eval - - - - -
Build - - - - -
Suite - - - - 360h44m30s