API Reference

This reference is generated automatically from the docstrings in the source code. It is organised as follows:

• Shield Layer & Memory-efficient Loss — the two top-level entry points, build_shield_layer and build_shield_loss. Start here.
• Linear requirements — the backend for linear requirements (linear arithmetic inequalities).
• QFLRA requirements — the backend for qflra requirements (quantifier-free linear real arithmetic).
• Propositional requirements — the backend for propositional requirements (boolean logic), including the Memory-efficient Loss.

Most users only need the top-level entry points; the per-backend pages document the internals.