projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25a2af8) | patch
Adding checks to the validation of 'bv-sat-solver' to ensure that the selected SAT...
authorAndrew V. Jones <andrew.jones@vector.com>
Fri, 21 Feb 2020 18:19:45 +0000 (18:19 +0000)
committerGitHub <noreply@github.com>
Fri, 21 Feb 2020 18:19:45 +0000 (12:19 -0600)
commitbe7ed89f137f4d0d64cf66ec40880370fbff2d4d
tree0772d518eb2d463d4d2acf4be1d494b65ba37a22tree
parent25a2af86e7beaa46a8159f87263f605818d14157commit | diff
Adding checks to the validation of 'bv-sat-solver' to ensure that the selected SAT solver is compiled-in (#3771)
src/options/options_handler.cpp diff | blob | history