Skip to content
lint

Add support for CVC5, DReal, OpenSMT, and Bitwuzla as backend solvers #16

Sign in to view logs

Add support for CVC5, DReal, OpenSMT, and Bitwuzla as backend solvers

Add support for CVC5, DReal, OpenSMT, and Bitwuzla as backend solvers #16

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hlint
10s
10s