minor
maxor
minand
maxand
minxor
maxxor
theorems
*.btor
*.smt
