projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Adding QF_SAT to SMT parsers
[cvc5.git]
/
src
/
parser
/
smt
/
smt.h
diff --git
a/src/parser/smt/smt.h
b/src/parser/smt/smt.h
index fa20382ffd8a8094b9793c410d0dc4af8a70bade..7df25749a784fb0b11e907433a57df5f2c077754 100644
(file)
--- a/
src/parser/smt/smt.h
+++ b/
src/parser/smt/smt.h
@@
-47,6
+47,7
@@
public:
QF_LRA,
QF_NIA,
QF_RDL,
+ QF_SAT,
QF_UF,
QF_UFIDL
};