²Available at https://cvc4.github.io.