Package solvers
-
Class Summary Class Description LTLSolver PotentiallyRealizabilityChecker<S> PreciseLTLModelCounter StrixHelper Bridge to the external Strix reactive-synthesis tool, used by AuRUS to check the realisability of a candidate specification — thestatus(S')component of the fitness function.StrongSatisfiabilityChecker<S> StrongSATSolver<S> -
Enum Summary Enum Description LTLSolver.SolverResult PreciseLTLModelCounter.MODEL_COUNTER StrixHelper.RealizabilitySolverResult Outcome of a Strix realisability query.