satisfiable
===========

(function from :py:mod:`pyomo.contrib.satsolver.satsolver`)

.. testsetup:: *

   # import everything from the module containing this class so that
   # doctests for the class docstrings see the correct environment
   from pyomo.contrib.satsolver.satsolver import *

.. currentmodule:: pyomo.contrib.satsolver.satsolver

.. autofunction:: satisfiable