ccobra.propositional
====================

.. automodule:: ccobra.propositional