py-pysmt Solver-agnostic library for SMT formulae manipulation and solving

0.8.0 math =0 Version of this port present on the latest quarterly branch.

Maintainer: 0mp@FreeBSD.org

Port Added: 2020-03-08 16:18:13

Last Update: 2020-03-08 16:18:05

SVN Revision: 528050

Also Listed In: python

License: APACHE20

Description:

pySMT is a library for SMT formulae manipulation and solving, which makes working with Satisfiability Modulo Theory simple. Among others, the user can: - Define formulae in a solver independent way in a simple and inutitive way, - Write ad-hoc simplifiers and operators, - Dump your problems in the SMT-Lib format, - Solve them using one of the native solvers, or by wrapping any SMT-Lib complaint solver. pySMT provides methods to define a formula in Linear Real Arithmetic (LRA), Real Difference Logic (RDL), their combination (LIRA), Equalities and Uninterpreted Functions (EUF), Bit-Vectors (BV), and Arrays (A). The following solvers are supported through native APIs: MathSAT, Z3, CVC4, Yices, CUDD, PicoSAT, and Boolector. Additionally, you can use any SMT-LIB 2 compliant solver. PySMT assumes that the python bindings for the SMT Solver are installed and accessible from your PYTHONPATH. WWW: http://www.pysmt.org

SVNWeb : Homepage

There is no configure plist information for this port.

Dependency lines:

• py37-pysmt>0:math/py-pysmt

To install the port: cd /usr/ports/math/py-pysmt/ && make install clean

To add the package: pkg install py37-pysmt

PKGNAME: py37-pysmt

Package flavors (<flavor>: <package>)

• py37: py37-pysmt
• py27: py27-pysmt

distinfo:

TIMESTAMP = 1583537787 SHA256 (pysmt-pysmt-v0.8.0_GH0.tar.gz) = 6a1f2ea69e97c9cecb43f9c5b3c5d786568cb26a3ebabe8c2b4e0acbd1870b94 SIZE (pysmt-pysmt-v0.8.0_GH0.tar.gz) = 1129930

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. py37-setuptools>0 : devel/py-setuptools@py37
2. python3.7 : lang/python37

Runtime dependencies:

1. py37-six>=0 : devel/py-six@py37
2. py37-setuptools>0 : devel/py-setuptools@py37
3. python3.7 : lang/python37

This port is required by:

for Run

1. math/py-claripy

Configuration Options

No options to configure

USES:

python

Master Sites:

1. https://codeload.github.com/pysmt/pysmt/tar.gz/v0.8.0?dummy=/

• port moved here from math/py-PySMT on 2020-03-08
  REASON: Rename as recommended by the Python team
  

Rename math/py-PySMT to math/py-pysmt

This is done in order to follow the policy set out by the Python team:
https://wiki.freebsd.org/Python/PortsPolicy#PORTNAME

Reported by:	koobs

9 vulnerabilities affecting 74 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2020-03-29 21:30:17