diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-05-15 18:39:57 -0300 |
|---|---|---|
| committer | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-05-15 18:39:57 -0300 |
| commit | 9dfc7947a67b39b724ccb56e2e3f4a08f28d6386 (patch) | |
| tree | 46f6312da1c36dcd505809894f096d8b555bacfa /src/theory/proof_engine_output_channel.cpp | |
| parent | 501e1776ec298772181c4fed30c5d0a413c4da0f (diff) | |
introducing search for building better transitivity proofs
Diffstat (limited to 'src/theory/proof_engine_output_channel.cpp')
0 files changed, 0 insertions, 0 deletions