BSD Ports

math/py-claripy 9.2.150 NetBSD

Abstraction layer for constraint solvers

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
License
2-clause-bsd
Categories
math, python
Package size
301.7 KiB, 2273.7 KiB installed

Description

Claripy is an abstracted constraint-solving wrapper.

General usage is similar to z3.

In the other systems

SystemPortVersion
NetBSDmath/py-claripy9.2.150
FreeBSDmath/py-claripy9.2.219_2
DragonFlymath/py-claripy9.0.5405
HardenedBSDmath/py-claripy9.2.219_2
GhostBSDmath/py-claripy9.2.219_2

Install

Binary package:

pkgin install py311-claripy

From pkgsrc:

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

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

RepositoryVersion
NetBSD 10.1 x86_649.2.150
NetBSD 10.1 aarch649.2.150
SmartOS / illumos x86_649.2.150
macOS 15 arm649.2.150

Dependencies

Run dependencies 4
Required by 1

Configuration

No options to configure.

Service scripts
none
Flavors
py312-claripy-9.2.150, py313-claripy-9.2.150, py314-claripy-9.2.150