New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Picosat script fails with trivial zero case #93

cjdrake opened this Issue May 22, 2014 · 0 comments


None yet
1 participant

cjdrake commented May 22, 2014

$ picosat
p cnf 0 1
Traceback (most recent call last):
  File "...", line 137, in <module>
  File "...", line 87, in main
    _, nvars, clauses = ast2expr(ast).encode_cnf()
  File "...", line 773, in encode_cnf
    raise ValueError("expected a CNF expression")
ValueError: expected a CNF expression

@cjdrake cjdrake added the Bug label May 22, 2014

cjdrake added a commit that referenced this issue May 22, 2014

@cjdrake cjdrake closed this May 22, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment