_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/
python-claripy 9.2.112
Propagated dependencies: python-cachetools@5.3.1 python-decorator@5.0.9 python-pysmt@0.9.5 z3@4.13.0
Channel: guix
Location: gnu/packages/python-xyz.scm (gnu packages python-xyz)
Home page: https://github.com/angr/claripy
Licenses: FreeBSD
Synopsis: Abstraction layer for constraint solvers
Description:

This Python module provides an abstraction layer for interacting with constraint solvers. Specifically, it is intended to be used with SMT solvers and is built on top of the Z3 solver.

Total results: 1