projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5e3739) | patch
Infrastructure for approximations in model output (#1884)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 8 May 2018 21:28:22 +0000 (16:28 -0500)
committerGitHub <noreply@github.com>
Tue, 8 May 2018 21:28:22 +0000 (16:28 -0500)
commitcfaa03f3db71dc2805b695f98b073431d0430e43
tree29a005932e186354f2966603601982ca8448c89ftree
parentf5e3739358b98d9a6ebc16fbc5aed9edee1483dccommit | diff
Infrastructure for approximations in model output (#1884)
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt/model.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_model.cpp diff | blob | history
src/theory/theory_model.h diff | blob | history