hal8174/simple-sat-solver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
simple-sat-solver/sat/simple.sat

2 lines
30 B
Text
Raw Permalink Blame History

a&(b| !c| ((!b& d)|e))
a&!b
Reference in a new issue View git blame Copy permalink