Using Boolean smt variables and producing more verbose comments
Using Boolean smt variables and producing more verbose comments

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