Searched defs:is_satisfiable (Results 1 – 7 of 7) sorted by relevance
273 public native boolean is_satisfiable(); in is_satisfiable() method in PIP_Problem
237 public native boolean is_satisfiable(); in is_satisfiable() method in MIP_Problem
721 PPL::PIP_Problem::is_satisfiable() const { in is_satisfiable() function in PPL::PIP_Problem
247 PPL::MIP_Problem::is_satisfiable() const { in is_satisfiable() function in PPL::MIP_Problem
836 static PyObject* is_satisfiable(Solver *self) function
1400 bool is_satisfiable() const { return (res_ & clingo_solve_result_satisfiable) != 0; } in is_satisfiable() function in Clingo::SolveResult