New option -sat loads SAT instance in dimacs format and runs babysat
New option -sat loads SAT instance in dimacs format and runs babysat

ChristianMoesl/selfie,cksystemsteaching/selfie,ChristianMoesl/selfie,cksystemsteaching/selfie,cksystemsteaching/selfie