.. _libraries:

=========
Libraries
=========

The Standard Library
====================
 

The Mathematics Library
=======================

Other Libraries
===============

.. TODO: describe SMT2, super

User-Maintained Libraries
=========================