![]() This allows writing extension commands that can benchmark different configurations in clingo, or try different configurations for a single test. |
||
---|---|---|
.. | ||
spack |
![]() This allows writing extension commands that can benchmark different configurations in clingo, or try different configurations for a single test. |
||
---|---|---|
.. | ||
spack |