Searched refs:RunCNF (Results 1 – 1 of 1) sorted by relevance
23 SolverStatus RunCNF(const std::string &fin_name, int n_variable, int timeout, in RunCNF() function150 auto rcnf = RunCNF("test.out", n_variable, timeout, sat_clause, value); in SolveSatProblem()