public void TestMethod1()
{
List <int> variables = new List <int> {
1, 2
};
List <List <int> > formula = new List <List <int> > {
};
formula[0] = new List <int> {
1, 2
};
formula[1] = new List <int> {
2
};
int fila = 0;
int clausulas = 2;
List <int> tienQueDar = new List <int> {
0, 1
};
var ans = SATFuerzabruta.validar(variables, formula, fila, clausulas);
//Assert.AreEqual(areEqual(ans, tienQueDar), true);
}
// GET: SAT
public ActionResult SATFuerzabruta(string json)
{
DatosSAT SAT = new JavaScriptSerializer().Deserialize <DatosSAT>(json);
SATFuerzabruta Sat = new SATFuerzabruta(SAT);
List <int> estados = Sat.validar();
return(Json(estados, JsonRequestBehavior.AllowGet));
}
public void TestMethod1()
{
List <int> variables = new List <int> {
1, 2
};
List <List <int> > formula = new List <List <int> >();
formula.Add(new List <int> {
1, 2
});
formula.Add(new List <int> {
2
});
int clausulas = 2;
List <int> tienQueDar = new List <int> {
0, 1
};
SATFuerzabruta sat = new SATFuerzabruta(formula, variables, clausulas);
var ans = sat.validar();
Assert.AreEqual(areEqual(ans, tienQueDar), true);
}
