riss (7.1) outputs blank line before s UNSATISFIABLE

conp-solutions / riss

Riss SAT Solver

GNU Lesser General Public License v2.1

8 stars 5 forks source link

Closed jwaldmann closed 2 years ago

jwaldmann commented 3 years ago

Hi,

(echo "p cnf 0 1" && echo "0"  ) | riss
...
c CPU time              : 0.000156 s

s UNSATISFIABLE

the blank line was confusing my parser. I thought that each line should start with c, s or v.

(I have riss (core) 7.1.0 v7.1.0-dirty, built from source in 2019.)

conp-solutions commented 2 years ago

This seems to be fixed in the latest revision, resolving.