projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a6a08d) | patch
Implements TheoryArith::collectModelInfo(). The current implementation is quite...
authorTim King <taking@cs.nyu.edu>
Tue, 14 Aug 2012 18:01:02 +0000 (18:01 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 14 Aug 2012 18:01:02 +0000 (18:01 +0000)
commit87dbe20de92232279cf1d48ebfe7113194985208
treea0b12b544a35c3493af303baec05145634c2baectree
parent5a6a08df0838b7fb70275a70ddc942c3ac802081commit | diff
Implements TheoryArith::collectModelInfo().  The current implementation is quite basic. This may need to be revisited.
src/theory/arith/theory_arith.cpp diff | blob | history