Expression solvers
==================

Numerical, logical, and template expressions within DIPL.

.. doxygentopic:: snt::dip
   :members:
   :undoc-members:
   :headers: include/snt/dip/solvers/logical_atom.h
      include/snt/dip/solvers/logical_operators.h
      include/snt/dip/solvers/logical_solver.h
      include/snt/dip/solvers/numerical_atom.h
      include/snt/dip/solvers/numerical_solver.h
      include/snt/dip/solvers/template_solver.h