satisfiable

(function from pyomo.contrib.satsolver.satsolver)

pyomo.contrib.satsolver.satsolver.satisfiable(model, logger=None)

Checks if the model is satisfiable.

Returns:

True if model is satisfiable, False if model is unsatisfiable, None if satisfiability cannot be determined.