/// <summary>
/// Checks a temporary configuration for SAT
/// </summary>
/// <returns></returns>
private bool CheckConfigForSat()
{
var t = new MicrosoftSolverFoundation.CheckConfigurationSAT();
var solver = new CheckConfigSAT(null); //TODO is this call necessary for the path information??
return(t.checkConfigurationSAT(_tempConfig, _varModel, false));
}
private bool CheckDimacsSat(List <string> tempConfig, string[] lines)
{
var t = new MicrosoftSolverFoundation.CheckConfigurationSAT();
//var solver = new CheckConfigSAT(null);
return(t.checkDimacsSAT(tempConfig, lines));
}
public override bool CheckInteractionSat(List <string> tempConfig)
{
var t = new MicrosoftSolverFoundation.CheckConfigurationSAT();
//var solver = new CheckConfigSAT(null);
return(t.checkDimacsSAT(tempConfig, _lines));
}
public override bool CheckInteractionSat(List <BinaryOption> tempConfig)
{
var t = new MicrosoftSolverFoundation.CheckConfigurationSAT();
//var solver = new CheckConfigSAT(null); //TODO is this call necessary for the path information??
return(t.checkConfigurationSAT(tempConfig, _vm, false));
}
