gatlin/surely

An Haskell library to solve SAT problems, Maybe

HaskellNOASSERTION

Issues

Don't call me Shirley
#3 opened 11 years ago by dorianj
1
Why is the call to `head` safe?
#1 opened 11 years ago by ranjitjhala
3