io.github.cvc5
io.github.cvc5.modes
