Port details |
- py-pysmt Solver-agnostic library for SMT formulae manipulation and solving
- 0.9.0 math
=0 0.9.0Version of this port present on the latest quarterly branch. - Maintainer: 0mp@FreeBSD.org
 - Port Added: 2020-03-08 16:18:13
- Last Update: 2021-10-19 08:36:47
- Commit Hash: ce1af7f
- 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 : git : Homepage
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}pysmt>0:math/py-pysmt@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-pysmt/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-pysmt
- pkg install py38-pysmt
NOTE: This is a Python port. Instead of py38-pysmt listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py38-pysmt
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1596801641
SHA256 (pysmt-pysmt-v0.9.0_GH0.tar.gz) = 302a7b38872855d47d17fcf7a55eb8ca3b7ab6c0100a1b8afd2dc7f70be846b5
SIZE (pysmt-pysmt-v0.9.0_GH0.tar.gz) = 1130338
- Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- py38-setuptools>0 : devel/py-setuptools@py38
- python3.8 : lang/python38
- Runtime dependencies:
-
- py38-six>=0 : devel/py-six@py38
- py38-setuptools>0 : devel/py-setuptools@py38
- python3.8 : lang/python38
- This port is required by:
- for Run
-
- math/py-claripy
- Configuration Options:
- No options to configure
- Options name:
- math_py-pysmt
- USES:
- python:3.5+
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
19 Oct 2021 08:36:47 0.9.0
|
Tobias Kortkamp (tobik)  |
*: apply refactor.remove-consecutive-empty-lines
Submitted by: portedit |
07 Apr 2021 08:09:01 0.9.0
|
Mathieu Arnold (mat)  |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
06 Apr 2021 14:31:07 0.9.0
|
Mathieu Arnold (mat)  |
Remove # $FreeBSD$ from Makefiles. |
08 Aug 2020 22:47:28
0.9.0
|
0mp  |
math/py-pysmt: Update to 0.9.0
Release notes: https://github.com/pysmt/pysmt/releases/tag/v0.9.0
Also:
- Add some solvers to TEST_DEPENDS to skip less tests
- Drop support for Python 2, it's not longer supported upstream |
08 Mar 2020 16:18:05
0.8.0
|
0mp  |
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 |