Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
misc
satsolver.cc
Find file
Blame
History
Permalink
misc: Add 'SPOT_XCNF' environment variable
· bd37625e
Alexandre GBAGUIDI AISSE
authored
Dec 21, 2016
* spot/misc/satsolver.cc: Handle xcnf writing. * spot/misc/satsolver.hh: Handle xcnf writing.
bd37625e