.. _spkg_pycryptosat:

pycryptosat: Python module of cryptominisat
===========================================

Description
-----------

   Build and install pycryptosat into appropriate venv.
   See cryptominisat for more details.

License
-------

MIT License


Upstream Contact
----------------

-  Authors: Mate Soos
-  Email: soos.mate@gmail.com
-  Website: http://www.msoos.org/
-  Releases: https://github.com/msoos/cryptominisat/releases

Type
----

optional


Version Information
-------------------

package-version.txt::

    5.6.8

install-requires.txt::

    pycryptosat


Equivalent System Packages
--------------------------

conda:

.. CODE-BLOCK:: bash

    $ conda install cryptominisat

homebrew:

.. CODE-BLOCK:: bash

    $ brew install cryptominisat

See https://repology.org/project/cryptominisat/versions

However, these system packages will not be used for building Sage
because using Python site-packages is not supported by the Sage distribution;
see :trac:`29023`

