public static Alethicity GetDecision(string aText)
{
Matrix lProposition = Parser.Parse(aText.Split('\n'));
Alethicity lDecision = lProposition.Decide();
Prover9Mace4.Result lProver9sDecision = Prover9Mace4.Decide(lProposition, Prover9Mace4Timeout);
Console.WriteLine("Prover9/Mace4 decided {0}.", lProver9sDecision);
Assert.IsTrue(
DecisionsAreConsistent(lDecision, lProver9sDecision),
string.Format("Inconsistent decisions: {0}, {1}", lDecision, lProver9sDecision));
return(Parser.Parse(aText.Split('\n')).Decide());
}
public static Prover9Mace4.Result GetProver9sDecision(string aText, int aTimeout)
{
Matrix lProposition = Parser.Parse(aText.Split('\n'));
return(Prover9Mace4.Decide(lProposition, aTimeout));
}
