public bool AreEquivalent(MSOFormula <S> phi1, MSOFormula <S> phi2)
{
var aut1 = phi1.GetAutomaton(solver);
var aut2 = phi2.GetAutomaton(solver);
return(aut1.IsEquivalentWith(aut2, solver));
}
public bool IsSatisfiable(MSOFormula <S> phi)
{
var aut = phi.GetAutomaton(solver);
return(!aut.IsEmpty);
}