Query logging: separate check_sat and model producing queries #1337
build.yml
on: pull_request
lint
4m 4s
Matrix: build
Matrix: test-solver