index : iCE40/yosys	master
	[no description]

aboutsummaryrefslogtreecommitdiffstats

log msg author committer range

path: root/backends/smt2/example.v

	Commit message (Expand)	Author	Age	Files	Lines
*	Added smtbmc.py	Clifford Wolf	2015-10-13	1	-0/+11

generated by cgit v1.2.3 (git 2.25.1) at 2025-06-03 11:50:30 +0000

.. hazmat::

Backends
========

Getting a backend
-----------------

.. currentmodule:: cryptography.hazmat.backends

``cryptography`` was originally designed to support multiple backends, but
this design has been deprecated.

You can get the default backend by calling :func:`~default_backend`.


.. function:: default_backend()

    :returns: An object that provides at least
        :class:`~interfaces.CipherBackend`, :class:`~interfaces.HashBackend`, and
        :class:`~interfaces.HMACBackend`.

Individual backends
-------------------

.. toctree::
    :maxdepth: 1

    openssl
    interfaces