Skip to content

Commit 7458fce

Browse files
nanocohnanocoh
committed
delete files
1 parent b81c066 commit 7458fce

2 files changed

Lines changed: 0 additions & 114 deletions

File tree

‎src/clauses/SNLTruthTableMerger.cpp‎

Lines changed: 0 additions & 80 deletions
This file was deleted.

‎src/clauses/SNLTruthTableMerger.h‎

Lines changed: 0 additions & 34 deletions
This file was deleted.

0 commit comments

Comments
 (0)