A language for combinatorial optimization in Haskell
Why do you think that https://github.com/LeventErkok/sbv is a good alternative to spaceprobe
A language for combinatorial optimization in Haskell
Why do you think that https://github.com/LeventErkok/sbv is a good alternative to spaceprobe