The :mod:`congress.datalog.arithmetic_solvers` Module
=====================================================

.. automodule:: congress.datalog.arithmetic_solvers
  :members:
  :undoc-members:
  :show-inheritance:
