projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c38245e) | patch
Working fix for bugs 610 and 643 regarding check-model with preprocessed quantified...
authorajreynol <andrew.j.reynolds@gmail.com>
Sat, 5 Sep 2015 10:55:31 +0000 (12:55 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Sat, 5 Sep 2015 10:55:31 +0000 (12:55 +0200)
commit1a5ac01182d327bf99c7da2dde7bcc09ac0dab15
treef0ec695434f20eabd6838b3e56be48385c40ffb5tree
parentc38245e4f041252df011a024abe834ae7ec0ec0acommit | diff
Working fix for bugs 610 and 643 regarding check-model with preprocessed quantified formulas.
src/smt/smt_engine.cpp diff | blob | history