projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67d02be) | patch
Add declareOracleFun interface to SolverEngine (#8622)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 4 May 2022 16:46:55 +0000 (11:46 -0500)
committerGitHub <noreply@github.com>
Wed, 4 May 2022 16:46:55 +0000 (16:46 +0000)
commit4ca5ef61d3ab4a9bdd60936e5d20ca371a87d011
treeaec06d58104161172319a64eeb34091260248542tree
parent67d02be826a12349eaf8420ab93495b8cfe5decacommit | diff
Add declareOracleFun interface to SolverEngine (#8622)

After this PR, declare-oracle-fun will be added to the API and parser.
src/smt/solver_engine.cpp diff | blob | history
src/smt/solver_engine.h diff | blob | history