* spot/misc/satsolver.cc: Handle xcnf writing. * spot/misc/satsolver.hh: Handle xcnf writing.
Attach a file by drag & drop or click to upload
