Closed JCorson closed 7 years ago
Should be "distribution". https://github.com/enthought/sat-solver/blob/master/simplesat/constraints/parser.py#L204
See PR #266
How embarrassnig! :see_no_evil:
Should be "distribution". https://github.com/enthought/sat-solver/blob/master/simplesat/constraints/parser.py#L204