| Port details |
- py-pysmt Solver-agnostic library for SMT formulae manipulation and solving
- 0.9.6 math
 =2      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: 2024-07-18 12:36:58
- Commit Hash: d65ced9
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- Also Listed In: python
- License: APACHE20
- WWW:
- http://www.pysmt.org
- 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- 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 py311-pysmt
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
NOTE: This is a Python port. Instead of py311-pysmt listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py311-pysmt
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1721251216
SHA256 (pysmt-pysmt-v0.9.6_GH0.tar.gz) = d69561abccd089c23352a6862b3939574d47d37ed82a5d7dce75127437c06032
SIZE (pysmt-pysmt-v0.9.6_GH0.tar.gz) = 1141496
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:
-
- py311-setuptools>=63.1.0 : devel/py-setuptools@py311
- python3.11 : lang/python311
- Test dependencies:
-
- py311-z3-solver>0 : math/py-z3-solver@py311
- z3>0 : math/z3
- cvc5>0 : math/cvc5
- py311-pytest>=7,1 : devel/py-pytest@py311
- python3.11 : lang/python311
- Runtime dependencies:
-
- py311-six>=0 : devel/py-six@py311
- py311-setuptools>=63.1.0 : devel/py-setuptools@py311
- python3.11 : lang/python311
- This port is required by:
- for Run
-
- math/py-claripy
Configuration Options:- No options to configure
- Options name:
- math_py-pysmt
- USES:
- python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 10
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
0.9.6
18 Jul 2024 12:36:58
 |
Yuri Victorovich (yuri) |
math/py-pysmt: update 0.9.0 → 0.9.6
PR: 280342
Approved by: Mateusz Piotrowski <0mp@FreeBSD.org> |
0.9.0
27 Jun 2023 19:34:34
|
Rene Ladan (rene) |
all: remove explicit versions in USES=python for "3.x+"
The logic in USES=python will automatically convert this to 3.8+ by
itself.
Adjust two ports that only had Python 3.7 mentioned but build fine
on Python 3.8 too.
finance/quickfix: mark BROKEN with PYTHON
libtool: compile: c++ -DHAVE_CONFIG_H -I. -I../.. -I -I. -I.. -I../.. -I../C++
-DLIBICONV_PLUG -DPYTHON_MAJOR_VERSION=3 -Wno-unused-variable
-Wno-maybe-uninitialized -O2 -pipe -DLIBICONV_PLUG -fstack-protector-strong
-fno-strict-aliasing -DLIBICONV_PLUG -Wall -ansi
-Wno-unused-command-line-argument -Wpointer-arith -Wwrite-strings
-Wno-overloaded-virtual -Wno-deprecated-declarations -Wno-deprecated -std=c++0x
-MT _quickfix_la-QuickfixPython.lo -MD -MP -MF
.deps/_quickfix_la-QuickfixPython.Tpo -c QuickfixPython.cpp -fPIC -DPIC -o
.libs/_quickfix_la-QuickfixPython.o
warning: unknown warning option '-Wno-maybe-uninitialized'; did you mean
'-Wno-uninitialized'? [-Wunknown-warning-option]
QuickfixPython.cpp:175:11: fatal error: 'Python.h' file not found
^~~~~~~~~~
1 warning and 1 error generated.
Reviewed by: portmgr, vishwin, yuri
Differential Revision: <https://reviews.freebsd.org/D40568> |
0.9.0
04 Jan 2023 11:50:54
|
Yuri Victorovich (yuri) |
math/py-pysmt: Test dependency changed to CVC5
The project so far doesn't support CVC5. |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
0.9.0
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
0.9.0
19 Oct 2021 08:36:47
|
Tobias Kortkamp (tobik) |
*: apply refactor.remove-consecutive-empty-lines
Submitted by: portedit |
0.9.0
07 Apr 2021 08:09:01
|
Mathieu Arnold (mat) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
0.9.0
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
0.9.0
08 Aug 2020 22:47:28
 |
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 |
0.8.0
08 Mar 2020 16:18:05
|
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 |
Number of commits found: 10
|
As an Amazon Associate I earn from qualifying purchases.