Home
last modified time | relevance | path

Searched defs:is_satisfiable (Results 1 – 7 of 7) sorted by relevance

/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DPIP_Problem.java273 public native boolean is_satisfiable(); in is_satisfiable() method in PIP_Problem
H A DMIP_Problem.java237 public native boolean is_satisfiable(); in is_satisfiable() method in MIP_Problem
/dports/devel/ppl/ppl-1.2/src/
H A DPIP_Problem.cc721 PPL::PIP_Problem::is_satisfiable() const { in is_satisfiable() function in PPL::PIP_Problem
H A DMIP_Problem.cc247 PPL::MIP_Problem::is_satisfiable() const { in is_satisfiable() function in PPL::MIP_Problem
/dports/math/py-cryptominisat/cryptominisat-5.8.0/python/src/
H A Dpycryptosat.cpp.in836 static PyObject* is_satisfiable(Solver *self) function
/dports/math/cryptominisat/cryptominisat-5.8.0/python/src/
H A Dpycryptosat.cpp.in836 static PyObject* is_satisfiable(Solver *self) function
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.hh1400 bool is_satisfiable() const { return (res_ & clingo_solve_result_satisfiable) != 0; } in is_satisfiable() function in Clingo::SolveResult