cjdrake / pyeda

Python EDA
BSD 2-Clause "Simplified" License
305 stars 55 forks source link

Picosat script fails with trivial zero case #93

Closed cjdrake closed 10 years ago

cjdrake commented 10 years ago
$ picosat
p cnf 0 1
0
Traceback (most recent call last):
  File "...", line 137, in <module>
    sys.exit(main())
  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