SAWScript "abc2" proof method prints "SAT" or "UNSAT" message
SAWScript "abc2" proof method prints "SAT" or "UNSAT" message

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script