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