BeSyft is a tool for symbolic best-effort synthesis with LTLf goals and assumptions
Primary LanguageC++MIT LicenseMIT