issues
search
flix
/
buwb
Boolean Unification Workbench
Other
2
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add support for for constants, signatures, sets
#6
mlutze
opened
2 years ago
0
Option to show steps of SVE
#5
mlutze
opened
2 years ago
0
Quine-McCluskey Minimization Option
#4
robertkleffner
opened
2 years ago
3
Add option to use Lowenheim's method on the workbench
#3
robertkleffner
closed
2 years ago
13
Simpler unifiers for equations with fewer variables on one of the sides
#2
robertkleffner
opened
2 years ago
20
Variable name ordering affects resulting MGU 'complexity'
#1
robertkleffner
opened
2 years ago
5