Known bugs


Bug 1

$ simplify_qm "~a~b~c~d+~a~bc+~ac~d+b~cd+a~b~c~d+a~bd"

-> got:       ~ac~d+~b~c~d+~bcd+b~cd
   expecting: ~ac~d+a~bd+~b~c~d+~bcd+b~cd

FIXED


Bug 2

$ simplify_qm "~~~a"

-> Crashes

FIXED


Bug 3

# simplify_es "a(b+c(d+e(f+g)))"

-> Crashes

FIXED


Bug 4

# simplify_es "(~b+c)(~a+~b+~c)"

-> Carshes

FIXED