projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 700a21a) | patch
Initial infrastructure for theory decision manager (#2447)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 12 Sep 2018 18:18:13 +0000 (13:18 -0500)
committerGitHub <noreply@github.com>
Wed, 12 Sep 2018 18:18:13 +0000 (13:18 -0500)
commitf4f11801394afa718a5125e4386704a72e74ca48
tree05ebc80af205de90000942de8cfb58a906fcc890tree
parent700a21a55d277d7bb4e475849e98aab58d91dba5commit | diff
 Initial infrastructure for theory decision manager (#2447)
src/Makefile.am diff | blob | history
src/theory/decision_manager.cpp [new file with mode: 0644] blob
src/theory/decision_manager.h [new file with mode: 0644] blob
src/theory/decision_strategy.cpp [new file with mode: 0644] blob
src/theory/decision_strategy.h [new file with mode: 0644] blob
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history