
This allows writing extension commands that can benchmark different configurations in clingo, or try different configurations for a single test.
This allows writing extension commands that can benchmark different configurations in clingo, or try different configurations for a single test.