math/py-claripy 9.0.5405 DragonFly

Abstraction layer for constraint solvers

System: DragonFly
Repository: DPorts
Maintainer: [email protected] (as in FreeBSD)
License: BSD2CLAUSE
Categories: devel, math, python
Package size: 319.5 KiB, 2417.7 KiB installed

Description

Claripy is an abstracted constraint-solving wrapper for Python.

It is being developed by the Angr project.

In the other systems

System

Port

Version

DragonFly

math/py-claripy

9.0.5405

FreeBSD

math/py-claripy

9.2.219_2

NetBSD

math/py-claripy

9.2.150

HardenedBSD

math/py-claripy

9.2.219_2

GhostBSD

math/py-claripy

9.2.219_2

Install

Binary package:

pkg install py311-claripy

From DPorts:

cd /usr/dports/math/py-claripy && make install clean

Dependencies

Run dependencies 6

Required by 1

security/py-angr

Configuration

No options to configure.

Service scripts: none

Message after installing

===>   NOTICE:

The py311-claripy port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://docs.freebsd.org/en/articles/contributing/#ports-contributing