Theory of Sequences
===================
.. api-examples::
<examples>/api/cpp/sequences.cpp
<examples>/api/java/Sequences.java
<examples>/api/python/sequences.py
<examples>/api/smtlib/sequences.smt2
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback