lumix.solvers.cpsat\_solver.LXCPSATSolver
=========================================

.. currentmodule:: lumix.solvers.cpsat_solver

.. autoclass:: LXCPSATSolver

   
   .. automethod:: __init__

   
   .. rubric:: Methods

   .. autosummary::
   
      ~LXCPSATSolver.__init__
      ~LXCPSATSolver.build_model
      ~LXCPSATSolver.get_solver_model
      ~LXCPSATSolver.solve