notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
Port details
py-pysmt Solver-agnostic library for SMT formulae manipulation and solving
0.9.0 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.9.0Version of this port present on the latest quarterly branch.
Maintainer: 0mp@FreeBSD.org search for ports maintained by this maintainer
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:
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>)
  • py38: py38-pysmt
distinfo:
Packages (timestamps in pop-ups are UTC):
py27-pysmt
ABIlatestquarterly
FreeBSD:11:aarch64-0.8.0
FreeBSD:11:amd64--
FreeBSD:11:armv6-0.8.0
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64-0.8.0
FreeBSD:12:aarch64--
FreeBSD:12:amd64--
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64-0.8.0
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd64--
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
FreeBSD:14:aarch64--
FreeBSD:14:amd64--
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 
py37-pysmt
ABIlatestquarterly
FreeBSD:11:aarch64-0.8.0
FreeBSD:11:amd64--
FreeBSD:11:armv6-0.8.0
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64-0.8.0
FreeBSD:12:aarch64--
FreeBSD:12:amd64--
FreeBSD:12:armv6-0.9.0
FreeBSD:12:armv7-0.9.0
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64-0.8.0
FreeBSD:12:powerpc64-0.9.0
FreeBSD:13:aarch64--
FreeBSD:13:amd64--
FreeBSD:13:armv60.9.0-
FreeBSD:13:armv70.9.0-
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc640.9.0-
FreeBSD:14:aarch64--
FreeBSD:14:amd64--
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc640.9.0-
 
py38-pysmt
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd640.9.00.9.0
FreeBSD:11:armv6--
FreeBSD:11:i3860.9.00.9.0
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64-0.9.0
FreeBSD:12:amd640.9.00.9.0
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i3860.9.00.9.0
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch640.9.00.9.0
FreeBSD:13:amd640.9.00.9.0
FreeBSD:13:armv6-0.9.0
FreeBSD:13:armv7-0.9.0
FreeBSD:13:i3860.9.00.9.0
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64-0.9.0
FreeBSD:14:aarch640.9.0-
FreeBSD:14:amd640.9.0-
FreeBSD:14:armv60.9.0-
FreeBSD:14:armv70.9.0-
FreeBSD:14:i3860.9.0-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. py38-setuptools>0 : devel/py-setuptools@py38
  2. python3.8 : lang/python38
Runtime dependencies:
  1. py38-six>=0 : devel/py-six@py38
  2. py38-setuptools>0 : devel/py-setuptools@py38
  3. python3.8 : lang/python38
This port is required by:
for Run
  1. math/py-claripy

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/pysmt/pysmt/tar.gz/v0.9.0?dummy=/
Collapse this list.
Port Moves
  • port moved here from math/py-PySMT on 2020-03-08
    REASON: Rename as recommended by the Python team

Number of commits found: 5

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
19 Oct 2021 08:36:47
 files touched by this commit commit hash:ce1af7fdc2cde4dc409a344a4210a3af581ccd2d  0.9.0
Tobias Kortkamp (tobik) search for other commits by this committer
*: apply refactor.remove-consecutive-empty-lines

Submitted by:	portedit
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  0.9.0
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  0.9.0
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
08 Aug 2020 22:47:28
Original commit files touched by this commit Revision:544530  0.9.0
0mp search for other commits by this committer
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
Original commit files touched by this commit Revision:528050  0.8.0
0mp search for other commits by this committer
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: 5