NuSMV-PO/src/sat
