projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c9c917) | patch
Transfer ownership of learned literals from SMT engine to circuit propagator. (#2421)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 4 Sep 2018 18:35:50 +0000 (11:35 -0700)
committerGitHub <noreply@github.com>
Tue, 4 Sep 2018 18:35:50 +0000 (11:35 -0700)
commit32530dad5747665df4086abd2c4fabff15bb7d12
treed662902d9c61a418b17bb1058899c90f75bf30d4tree
parent4c9c917c41af40d1cbb00e33551756450a43c025commit | diff
Transfer ownership of learned literals from SMT engine to circuit propagator. (#2421)
src/smt/smt_engine.cpp diff | blob | history
src/theory/booleans/circuit_propagator.h diff | blob | history