aboutsummaryrefslogtreecommitdiff
path: root/math/py-pysmt
Commit message (Collapse)AuthorAgeFilesLines
* *: apply refactor.remove-consecutive-empty-linesTobias Kortkamp2021-10-191-1/+0
| | | | Submitted by: portedit
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
| | | | Reported by: lwhsu
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* math/py-pysmt: Update to 0.9.0Mateusz Piotrowski2020-08-082-7/+10
| | | | | | | | | | | 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 Notes: svn path=/head/; revision=544530
* Rename math/py-PySMT to math/py-pysmtMateusz Piotrowski2020-03-083-0/+54
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 Notes: svn path=/head/; revision=528050