yberman

The Makefile depends on ocamlbuild, but instructions only install ocaml and menhir.

Prevent blow-up with or operator

1

The library does distribution directly when ORing two CNFs together. This results in exponential blowup in certain cases from satispy import Variable as v reduce(lambda x, y: x|y, [v("x" +...

Hello, The import statements refer to a non-existent git repo "github.com/marcvanzee/go-solver". It should be "github.com/marcvanzee/go-sat".

I am starting to add the Permutations, Combinations, etc. I used "go fmt" out of habbit and it went nuts on your code. I didn't realize before I committed my...