Commit e018b02

committed

adding proofs to euf-completion

1 parent bba10c7 commit e018b02Copy full SHA for e018b02

3 files changed

+195

-78

lines changed

src
- ast/simplifiers
  - euf_completion.cpp
  - euf_completion.h
- tactic
  - goal.cpp

3 files changed

+195

-78

lines changed

Comments

(0)