Type Alias CheckSatResult

CheckSatResult: "sat" | "unsat" | "unknown"

Settings

Member Visibility