Permalink
Browse files

Docs: Add Cython usage explanation

  • Loading branch information...
marcogario committed Aug 20, 2017
1 parent e0f080b commit bb3703e42c61222390e4a0f05ee5f66ea43bbabc
Showing with 9 additions and 0 deletions.
  1. +9 −0 docs/getting_started.rst
View
@@ -65,6 +65,15 @@ system environment variables ``PYSMT_GMPY2`` to ``True`` or
``False``. If this is set to true and the gmpy library cannot be
imported, an exception will be thrown.
Cython
""""""
PySMT supports the use of `Cython <http://cython.org/>`_ in order to
improve the performances of some internal component. If Cython is
installed, this will be used (by default) to compile the SMT-LIB
parser. The use of Cython can be controlled by setting the environment
variable ``PYSMT_CYTHON`` to ``True`` or ``False``. If set to false,
the default pure python implementation will be used.
Hello World

0 comments on commit bb3703e

Please sign in to comment.