py27-claripy-7.8.2.21.tgz


Advertisement

Description

py27-claripy - Abstraction layer for constraint solvers

Property Value
Distribution NetBSD 7.0
Repository NetBSD i386
Package filename py27-claripy-7.8.2.21.tgz
Package name py27-claripy
Package version 7.8.2.21
Package release -
Package architecture i386
Package type tgz
Category math
Homepage https://github.com/angr/claripy/
License 2-clause-bsd
Maintainer -
Download size 184.17 KB
Installed size 1.56 MB
Claripy is an abstracted constraint-solving wrapper.
General usage is similar to z3.

Alternatives

Package Version Architecture Repository
py27-claripy-7.8.2.21.tgz 7.8.2.21 amd64 NetBSD
py27-claripy - - -

Requires

Name Value
py27-setuptools >= 0.8
python27 >= 2.7.1nb2

Download

Type URL
Mirror ftp.netbsd.org
Binary Package py27-claripy-7.8.2.21.tgz
Source Package py27-claripy

Install Howto

Install py27-claripy tgz package:

# pkg_add py27-claripy

See Also

Package Description
py27-cle-7.8.2.21.tgz CLE Loads Everything (at least, many binary formats!)
py27-clearsilver-0.10.5nb2.tgz Fast, powerful, language-neutral HTML template system
py27-click-7.0.tgz Simple wrapper around optparse for powerful command line utilities
py27-click-log-0.3.2.tgz Logging integration for Click
py27-click-threading-0.4.4.tgz Multithreaded Click apps made easy
py27-clint-0.5.1.tgz Python Command-line Application Tools
py27-cloudfiles-1.7.11.tgz CloudFiles client library for Python
py27-cmTemplate-0.3.2.tgz Simple and fast Python template engine
py27-codestyle-2.5.0.tgz Python style guide checker
py27-cogapp-2.5.1.tgz Code generator for executing Python snippets in source files
py27-collectd-5.8.0nb1.tgz Statistics collection daemon - python plugin
py27-colorama-0.4.1.tgz Cross-platform coloured terminal text
py27-colored-1.3.93.tgz Python library for coloring terminal text
py27-colour-0.1.5.tgz Converts and manipulates various color representation
py27-configargparse-0.14.0.tgz Argparse-like with config files or environment variables support
Advertisement
Advertisement