Sunpoet Po-Chuan Hsieh a2de6df9e3 Update to 3.2.5 ... Changes: https://bitbucket.org/rpy2/rpy2/src/default/NEWS https://github.com/rpy2/rpy2/blob/master/NEWS		2020-01-27 20:09:05 +00:00
..
4ti2
aamath
abella
abs
acalc
add
adept
adol-c
algae
alglib
alt-ergo
amath
ambit
analitza	Update KDE's App Bundle to 19.12.1	2020-01-09 22:28:39 +00:00
ann
antic
apache-commons-math	math/jakarta-commons-math3 update and rename to apache-commons-math	2020-01-24 19:02:45 +00:00
apc
apron
arb
aribas
armadillo	math/openblas: Update to 0.3.7	2020-01-21 22:03:19 +00:00
arpack-ng
arpack++
ascent
aspcud
asymptote
atlas
barvinok	Mark BROKEN: fails to build	2020-01-18 22:19:02 +00:00
bcal
bitwise
blacs
blas
blasfeo
blaze
blazeiterative
blis	math/blis: update to 0.6.1	2020-01-15 18:20:46 +00:00
blitz++
blocksolve95
bonmin
boolector
bsdnt
btor2tools
cadabra2	devel/jsoncpp: Update 1.8.1 -> 1.9.2	2020-01-13 21:38:35 +00:00
cadical
calc
calcoo
calctool
cantor	Update KDE's App Bundle to 19.12.1	2020-01-09 22:28:39 +00:00
casadi	Update devel/cmake to latest upstream release, 3.16.2	2020-01-06 12:57:03 +00:00
cbc
cblas
ccmath
cddlib
ceres-solver
cgal
cgl
chaco
chryzodus
clasp
clblas
clblast
clfft
clingo
cln	math/cln: fix build on GCC architectures	2020-01-07 11:33:47 +00:00
cloog
clp	math/clp: fix build on non-x86 non-ARM	2020-01-12 17:26:24 +00:00
clrng
cminpack
cmlib
cocoalib
coin-or-data-netlib
coin-or-data-sample
coin-or-data-stochastic
coinmp
coinutils	math/coinutils: Update 2.11.1 -> 2.11.3	2020-01-14 05:06:17 +00:00
combblas
concorde
convertall
coq	editors/emacs-devel: Update to latest master branch commit, 4f2b415	2020-01-07 04:55:40 +00:00
couenne
cppad	math/cppad: Update 20200000.1 -> 20200000.2	2020-01-14 04:56:31 +00:00
crlibm
cryptominisat
csdp
curv
cvc3
cvc4
darknet
dbcsr
deal.ii
diehard
dieharder
djbfft
drgeo
dsdp
e
ecos
edenmath
eigen2
eigen3
eispack
elpa
emc2
ensmallen	math/ensmallen: Update 2.11.1 -> 2.11.2	2020-01-16 05:06:18 +00:00
ent
entropy
eprover
ess	editors/emacs-devel: Update to latest master branch commit, 4f2b415	2020-01-07 04:55:40 +00:00
eukleides
eval
exprtk
facile
fann
fcl
fflas-ffpack
fftw
fftw3
fftw3-float
fftw3-long
fftw3-quad
fftw-float
flann
flint2
flintqs
form
fpc-fftw
fpc-gmp
fpc-numlib
fplll	math/fplll: Update 5.3.0 -> 5.3.2	2020-01-12 01:36:19 +00:00
fricas
frobby
fxt
g2o
galculator
gambit
gap
gau2grid	math/gau2grid: remove -march=native, unbreak on i386 and powerpc64	2020-01-14 14:18:58 +00:00
gemmlowp
geogebra
geogram
geonext
gexpr
gfan
gfanlib
ggobi
gh-bc	Final attempt to make the Poruguese locales actually work.	2020-01-23 08:41:12 +00:00
giacxcas
GiNaC
givaro
gkmap
glgraph
glm
glpk
glucose
gmm++
gmp
gmp-ecm
gnome-calculator
gnubc
gnumeric
gnuplot
gnuplot-lite
gnuplot-tex-extras
gotoblas
grace
graphthing
gretl
gri
gringo
grpn
gsl
hexcalc
hipmcl
hmat-oss	math/hmat-oss: disable BLAS multi-threading after r523749	2020-01-22 16:58:38 +00:00
hpipm
hs-Agda
hs-semigroups
ideep
ignition-math
igraph
intervaltree
ipopt
ised
jacal
jags
jama
jeuclid
jlatexmath
jsmath-fonts
jtransforms
jts
kalgebra	Update KDE's App Bundle to 19.12.1	2020-01-09 22:28:39 +00:00
kbruch	Update KDE's App Bundle to 19.12.1	2020-01-09 22:28:39 +00:00
kcalc	Update KDE's App Bundle to 19.12.1	2020-01-09 22:28:39 +00:00
kig	Update KDE's App Bundle to 19.12.1	2020-01-09 22:28:39 +00:00
kktdirect
kmplot	Update KDE's App Bundle to 19.12.1	2020-01-09 22:28:39 +00:00
labplot	graphics/poppler: update to 0.84.0	2020-01-22 17:59:22 +00:00
lambda
lapack
lapack95
lapack++
lapacke
laspack
latte-integrale
ldouble
lean
lemon
levmar
libccd
libflame	math/libflame: update WWW	2020-01-18 16:45:16 +00:00
liblbfgs
libmesh
libmissing
libnormaliz
libocas
liborigin
libpgmath
libpoly
libqalculate
libranlip
libRmath
librsb
libtommath
libtsnnls
libxls
libxlsxwriter	Update 0.9.4	2020-01-21 09:01:15 +00:00
libxsmm
lidia
linpack
lis
lll_spect
lp_solve
lrng
lrslib
ltl
ltl2ba
lybniz
mandelbulber2
mate-calc
math77
mathgl
mathmod
mathomatic
matio
matlab-installer
maxima	Bump PORTREVISION on *-sbcl ports after lang/sbcl upgrade.	2020-01-27 10:50:24 +00:00
mbasecalc
mcsim
metis	Fix bad invocation of REINPLACE_CMD	2020-01-20 17:09:01 +00:00
metis4	math/metis4: Deprecate	2020-01-21 22:43:38 +00:00
mfem
mingw32-libgmp
minisat
miracl
mkl-dnn
mlpack
moab
moo
mpc
mpexpr
mpfr
mpfrc++
mpir
mppp
mprime
mtrxmath
multichoose
mumps
mumps4
muparser
nanoflann	math/nanoflann: GitHub regenerated the tarball for the same version	2020-01-06 03:30:26 +00:00
naturalmath
nauty
ndiff
newmat
nfft
ngraph
nlopt
ntl
numdiff
ocaml-ocamlgraph
ocaml-zarith
ocamlgsl
octave
octave-forge	- Add optional dependency AUDIO.	2020-01-17 00:51:17 +00:00
octave-forge-actuarial
octave-forge-audio	math/octave-forge-audio: fix build on GCC architectures	2020-01-23 13:09:37 +00:00
octave-forge-base
octave-forge-bim
octave-forge-bioinfo
octave-forge-bsltl
octave-forge-cgi
octave-forge-civil-engineering
octave-forge-communications	- Resurrect ports math/octave-forge-communications.	2020-01-06 01:29:47 +00:00
octave-forge-control
octave-forge-data-smoothing
octave-forge-database
octave-forge-dataframe
octave-forge-dicom
octave-forge-divand
octave-forge-doctest
octave-forge-econometrics
octave-forge-fenv
octave-forge-financial
octave-forge-fits
octave-forge-fpl
octave-forge-fuzzy-logic-toolkit
octave-forge-ga
octave-forge-general
octave-forge-generate_html
octave-forge-geometry
octave-forge-gnuplot
octave-forge-gsl
octave-forge-ident
octave-forge-image
octave-forge-informationtheory
octave-forge-integration
octave-forge-interval
octave-forge-io
octave-forge-irsa
octave-forge-level-set
octave-forge-linear-algebra
octave-forge-lssa
octave-forge-ltfat	math/openblas: Update to 0.3.7	2020-01-21 22:03:19 +00:00
octave-forge-mapping
octave-forge-matgeom
octave-forge-mechanics	- Resurrect port math/octave-forge-mechanics.	2020-01-06 01:39:20 +00:00
octave-forge-miscellaneous
octave-forge-missing-functions
octave-forge-msh
octave-forge-multicore
octave-forge-mvn
octave-forge-nan
octave-forge-ncarray
octave-forge-netcdf
octave-forge-nlwing2
octave-forge-nnet
octave-forge-nurbs
octave-forge-oct2mat
octave-forge-octclip
octave-forge-octproj
octave-forge-odebvp
octave-forge-optics
octave-forge-optim
octave-forge-optiminterp
octave-forge-outliers
octave-forge-plot
octave-forge-quaternion
octave-forge-queueing
octave-forge-secs1d
octave-forge-secs2d
octave-forge-secs3d
octave-forge-signal
octave-forge-simp
octave-forge-sockets
octave-forge-sparsersb
octave-forge-specfun
octave-forge-special-matrix
octave-forge-splines
octave-forge-statistics
octave-forge-stk
octave-forge-struct
octave-forge-symband
octave-forge-symbolic
octave-forge-tcl-octave
octave-forge-tsa
octave-forge-zenity
octave-forge-zeromq
octomap	math/octomap: Update 1.9.1 -> 1.9.3	2020-01-23 07:03:33 +00:00
ogdf	Deprecate a few broken ports	2020-01-14 12:36:37 +00:00
oleo
openblas	math/openblas: fix build on powerpc64 without POWER6	2020-01-22 12:28:49 +00:00
openfst
openlibm
openmesh	Update devel/cmake to latest upstream release, 3.16.2	2020-01-06 12:57:03 +00:00
opensolaris-libm
openturns
optpp
orpie
osi
osqp
p5-AI-DecisionTree
p5-AI-Genetic
p5-AI-NeuralNet-BackProp
p5-AI-Perceptron
p5-Algorithm-Combinatorics
p5-Algorithm-CurveFit
p5-Algorithm-KMeans
p5-Algorithm-Munkres
p5-bignum
p5-Bit-ShiftReg
p5-Bit-Vector
p5-Bit-Vector-Minimal
p5-CAD-Calc
p5-Chart-Math-Axis
p5-Data-Float
p5-Date-Handler
p5-Geo-Coordinates-UTM
p5-Geo-Distance
p5-Geo-Distance-XS
p5-GIS-Distance
p5-GIS-Distance-Fast
p5-GIS-Distance-Lite
p5-Graph
p5-Math-Algebra-Symbols
p5-Math-Base36
p5-Math-Base85
p5-Math-BaseCalc
p5-Math-BaseCnv
p5-Math-Bezier
p5-Math-Bezier-Convert
p5-Math-BigInt
p5-Math-BigInt-FastCalc
p5-Math-BigInt-GMP
p5-Math-BigInt-Lite
p5-Math-BigInt-Pari
p5-Math-BigRat
p5-Math-Calc-Units
p5-Math-CDF
p5-Math-Cephes
p5-Math-Combinatorics
p5-Math-Complex
p5-Math-ConvexHull
p5-Math-Currency
p5-Math-Derivative
p5-Math-Evol
p5-Math-Expr
p5-Math-FFT
p5-Math-FixedPrecision
p5-Math-Fleximal
p5-Math-Geometry
p5-Math-Geometry-Planar
p5-Math-Geometry-Planar-GPC
p5-Math-Geometry-Planar-GPC-PolygonXS
p5-Math-Geometry-Planar-Offset
p5-Math-Geometry-Voronoi
p5-Math-GMP
p5-Math-GMPf
p5-Math-GMPq
p5-Math-GMPz
p5-Math-Gradient
p5-Math-GSL
p5-Math-Int64
p5-Math-Int128
p5-Math-Interpolate
p5-Math-Intersection-StraightLine
p5-Math-Logic
p5-Math-Matrix
p5-Math-MatrixReal
p5-Math-MPC
p5-Math-MPFR	Update to 4.13	2020-01-23 04:23:09 +00:00
p5-Math-NumberCruncher
p5-Math-Pari
p5-Math-Polygon
p5-Math-Polygon-Tree
p5-Math-Polynomial-Solve
p5-Math-Prime-Util
p5-Math-Prime-Util-GMP
p5-Math-Prime-XS
p5-Math-ProvablePrime
p5-Math-Random
p5-Math-Random-ISAAC
p5-Math-Random-ISAAC-XS
p5-Math-Random-MT
p5-Math-Random-MT-Auto
p5-Math-Random-OO
p5-Math-Random-Secure
p5-Math-RandomOrg
p5-Math-Round
p5-Math-Round-Var
p5-Math-RPN
p5-Math-Sequence
p5-Math-Series
p5-Math-SigFigs
p5-Math-SimpleVariable
p5-Math-Spline
p5-Math-String
p5-Math-Symbolic
p5-Math-Symbolic-Custom-CCompiler
p5-Math-Symbolic-Custom-Contains
p5-Math-Symbolic-Custom-ErrorPropagation
p5-Math-Symbolic-Custom-LaTeXDumper
p5-Math-Symbolic-Custom-Pattern
p5-Math-Symbolic-Custom-Simplification
p5-Math-Symbolic-Custom-Transformation
p5-Math-SymbolicX-BigNum
p5-Math-SymbolicX-Complex
p5-Math-SymbolicX-Error
p5-Math-SymbolicX-Inline
p5-Math-SymbolicX-NoSimplification
p5-Math-SymbolicX-ParserExtensionFactory
p5-Math-SymbolicX-Statistics-Distributions
p5-Math-TrulyRandom
p5-Math-Units
p5-Math-Utils
p5-Math-Vec
p5-Math-VecStat
p5-Math-VectorReal
p5-NetCDF
p5-Number-Compare
p5-Number-Fraction
p5-Number-Misc
p5-Number-Uncertainty
p5-Number-WithError
p5-Number-WithError-LaTeX
p5-Parse-Range
p5-Roman
p5-Set-IntSpan
p5-Set-IntSpan-Fast
p5-Set-IntSpan-Fast-XS
p5-Set-Partition
p5-Set-Window
p5-Statistics-Basic
p5-Statistics-Benford
p5-Statistics-CaseResampling
p5-Statistics-ChiSquare
p5-Statistics-Contingency
p5-Statistics-Descriptive
p5-Statistics-Descriptive-Discrete
p5-Statistics-Distributions
p5-Statistics-Forecast
p5-Statistics-Frequency
p5-Statistics-LineFit
p5-Statistics-Lite
p5-Statistics-LTU
p5-Statistics-OLS
p5-Statistics-R
p5-Statistics-Regression
p5-Statistics-TTest
p5-Task-Math-Symbolic
p5-Text-AsciiTeX
pantheon-calculator
pari
parmetis	Fix bad invocation of REINPLACE_CMD	2020-01-20 17:09:01 +00:00
parmgridgen
pdal	Bump PORTREVISION for graphics/gdal shlib change	2020-01-22 06:02:24 +00:00
PDL	Change the way *_DEPENDS are set	2020-01-18 18:25:49 +00:00
pear-Math_BigInteger
pear-Math_Combinatorics
pecl-bitset
pecl-stats2
petiga
php72-bcmath
php72-gmp
php73-bcmath
php73-gmp
php74-bcmath
php74-gmp
physcalc
picosat
piranha
plman
ploticus
ploticus-nox11
plplot	Add LOCALBASE/share/man to the valid path for manpages	2020-01-15 12:06:13 +00:00
plplot-ada
poly2tri	New port: math/poly2tri: 2D constrained Delaunay triangulation library	2020-01-19 17:50:26 +00:00
polylib
primegen
primesieve
primme	math/primme: Update 3.0.1 -> 3.0.2	2020-01-15 10:00:36 +00:00
prng
proofgeneral	editors/emacs-devel: Update to latest master branch commit, 4f2b415	2020-01-07 04:55:40 +00:00
pspp
py-algopy
py-altgraph
py-apgl
py-arviz
py-autograd
py-basemap
py-basemap-data
py-bayesian-optimization
py-bitmath
py-bitvector
py-bottleneck
py-cdecimal
py-chaospy	math/py-chaospy: Update 3.0.12 -> 3.0.18	2020-01-12 06:55:22 +00:00
py-cma
py-colormath
py-cryptominisat
py-cvxopt
py-cvxpy	math/py-cvxpy: Update 1.0.24 -> 1.0.25	2020-01-12 07:02:05 +00:00
py-cyipopt
py-CyLP	math/py-CyLP: Update 0.9.0 -> 0.9.2	2020-01-25 16:56:12 +00:00
py-deap	math/py-deap: Update 1.3.0 -> 1.3.1	2020-01-22 05:07:33 +00:00
py-Diofant
py-ecos
py-fastcluster
py-fastdtw
py-ffc
py-fiat
py-fpconst
py-gau2grid	math/py-gau2grid: Update 2.0.1 -> 2.0.4	2020-01-12 07:22:24 +00:00
py-gimmik
py-gmpy
py-gmpy2
py-grandalf
py-graphillion
py-GridDataFormats
py-gym
py-hdbscan	Update version requirement of RUN_DEPENDS	2020-01-12 16:07:51 +00:00
py-igakit
py-igraph
py-intspan
py-keras
py-keras-applications
py-keras-preprocessing
py-kiwisolver	Change my mail address to lbartoletti@FreeBSD.org	2020-01-14 21:45:15 +00:00
py-levmar
py-libpoly
py-luminol
py-matplotlib
py-matplotlib-scalebar
py-mpmath
py-munkres
py-munkres10
py-MutatorMath	Update RUN_DEPENDS for py-fonttools 4.2.4 update	2020-01-18 18:25:54 +00:00
py-networkx
py-networkx1
py-nevergrad	Update to 0.3.1	2020-01-26 16:12:37 +00:00
py-numeric
py-numexpr	Update to 2.7.1	2020-01-06 14:44:41 +00:00
py-numpy	math/py-numpy: fix build when math/blas is installed	2020-01-23 21:31:23 +00:00
py-nzmath
py-onnx	Bump PORTREVISION for devel/protobuf shlib change	2020-01-22 05:53:20 +00:00
py-osqp
py-pandas
py-pandas-datareader
py-patsy
py-permutation
py-petsc4py
py-piranha
py-plastex
py-primme	math/py-primme: Update 3.0.1 -> 3.0.2	2020-01-15 10:01:06 +00:00
py-PuLP
py-pyasp
py-pybloom
py-pyclipper
py-pycosat
py-pyFFTW
py-pygsl
py-pygslodeiv2
py-pyhull
py-pyipopt
py-pymc
py-pymc3
py-PyMetis
py-pyneqsys
py-pynleq2
py-pynndescent	Unbreak bulk -a	2020-01-25 09:35:48 +00:00
py-pyodeint
py-pyodesys
py-Pyomo
py-PySCIPOpt
py-pysparse
py-pystan
py-pysym
py-python-louvain
py-pyvtk
py-PyWavelets
py-quadprog
py-random2
py-rapi
py-roman
py-rpy2	Update to 3.2.5	2020-01-27 20:09:05 +00:00
py-scientific
py-scikit-umfpack
py-scs
py-seaborn	Update RUN_DEPENDS for py-statsmodels 0.11.0 update	2020-01-25 18:31:14 +00:00
py-secp256k1
py-simhash
py-slepc4py
py-spectral
py-spot
py-statsmodels	Update to 0.11.0	2020-01-25 18:26:10 +00:00
py-statsmodels010	Add version requirement of cython to BUILD_DEPENDS	2020-01-26 16:12:42 +00:00
py-svgmath
py-sym
py-symcxx
py-sympy
py-theano
py-ufl
py-uncertainties
py-vincenty
py-viper	Deprecate a few broken ports	2020-01-14 12:36:37 +00:00
py-yt
py-z3-solver
qalculate
qd
qhull
qhull5
qposases
qrupdate
qtiplot-doc
qwtplot3d
R
R-cran-acepack
R-cran-ADGofTest
R-cran-alabama
R-cran-Amelia
R-cran-assertthat
R-cran-backports
R-cran-bdsmatrix	- Update to 1.3-4	2020-01-15 22:17:51 +00:00
R-cran-BsMD
R-cran-car
R-cran-carData
R-cran-ChangeAnomalyDetection
R-cran-coda
R-cran-combinat
R-cran-conf.design
R-cran-CVST
R-cran-ddalpha	- Update to 1.3.11	2020-01-11 17:38:20 +00:00
R-cran-deldir
R-cran-DEoptimR
R-cran-dimRed
R-cran-dlmodeler
R-cran-DoE.base
R-cran-dplyr
R-cran-DRR
R-cran-expm
R-cran-forcats
R-cran-forecast
R-cran-Formula
R-cran-fracdiff
R-cran-FrF2
R-cran-geepack
R-cran-geometry
R-cran-gmp
R-cran-gower
R-cran-gpclib
R-cran-gss
R-cran-gtable
R-cran-haven
R-cran-igraph
R-cran-influenceR
R-cran-inline
R-cran-ipred
R-cran-irlba
R-cran-KFAS
R-cran-labeling
R-cran-lava
R-cran-lazyeval
R-cran-LearnBayes
R-cran-lme4
R-cran-magic
R-cran-Matching
R-cran-MatchIt
R-cran-MatrixModels
R-cran-maxLik
R-cran-mcmc
R-cran-MCMCpack
R-cran-memisc
R-cran-minqa
R-cran-miscTools
R-cran-mitools
R-cran-MSwM
R-cran-mvtnorm
R-cran-nloptr
R-cran-NMF
R-cran-nnls
R-cran-nortest
R-cran-numbers
R-cran-numDeriv
R-cran-outliers
R-cran-partitions
R-cran-pbkrtest
R-cran-pls
R-cran-polynom
R-cran-prodlim
R-cran-psych
R-cran-quadprog
R-cran-qualityTools
R-cran-quantreg
R-cran-RcppArmadillo
R-cran-RcppEigen
R-cran-RcppRoll
R-cran-recipes	- Update to 0.1.9	2020-01-09 17:19:36 +00:00
R-cran-rgenoud
R-cran-RHmm
R-cran-Rmpfr
R-cran-robustbase
R-cran-Rsolnp
R-cran-RSvgDevice
R-cran-sandwich
R-cran-scatterplot3d
R-cran-sets
R-cran-sf	Bump PORTREVISION for graphics/gdal shlib change	2020-01-22 06:02:24 +00:00
R-cran-sm
R-cran-sp
R-cran-SparseM
R-cran-spData
R-cran-spdep
R-cran-SQUAREM	- Update to 2020.1	2020-01-15 22:25:09 +00:00
R-cran-sspir
R-cran-stabledist
R-cran-survey
R-cran-truncnorm
R-cran-units
R-cran-uroot
R-cran-VGAM
R-cran-xts	- Update to 0.12-0	2020-01-20 14:34:37 +00:00
R-cran-Zelig
R-cran-zoo	- Update to 1.8-7	2020-01-11 22:38:38 +00:00
randlib
rapid
reduce
reduce-psl
reed-solomon
rehearse
rexx-regmath
rkward-kde
rngstreams
rocs	Update KDE's App Bundle to 19.12.1	2020-01-09 22:28:39 +00:00
rpcalc
rubygem-algebra
rubygem-expression_parser
rubygem-fftw3
rubygem-mathn
rubygem-mtrc
rubygem-narray
rubygem-narray_miss
rubygem-numru-misc
rubygem-numru-units
rubygem-rb-gsl
rumur	math/rumur: Update 2020.01.07 -> 2020.01.11	2020-01-13 05:57:34 +00:00
saga	Bump PORTREVISION for graphics/gdal shlib change	2020-01-22 06:02:24 +00:00
sage
sc
sc-im
scalapack
scilab	Mark BROKEN: fails to build	2020-01-21 13:23:10 +00:00
scilab-toolbox-swt
SCIP
scs
sdpa
secp256k1
sfft
sfst
simd-viterbi
singular	math/singular: Update 4.1.1 -> 4.1.2-586	2020-01-25 05:07:01 +00:00
sisl
slatec
sleef
slepc
slgrace
snns
solitaire
SoPlex
sound-of-sorting
spar
spblas
spectra
speedcrunch
spooles
spooles-mpich
spot
stp
suitesparse
sundials
superlu
symmetrica
symphony
tablix
taucs
tblis
tetgen
teyjus
timbl
tmv
tomsfastmath
topaz
topcom
triangle
trlan
truthtable
tvmet
ump
units
unuran
vampire
viennacl
visualpolylib
vowpal_wabbit
vtk6
vtk8
wavelib
wcalc
wfmath
why3
wingz3
wxmaxima	math/wxmaxima: Update to 20.01.3	2020-01-26 10:03:51 +00:00
x12arima
xblas
xfce4-calculator-plugin
xgraph
xlapack
xldlas
xlife++
xplot
xppaut
xspread
xtensor	math/xtensor: Update 0.21.2 -> 0.21.3	2020-01-23 08:23:51 +00:00
yacas
yices
z3
zegrapher
zimpl
Makefile	Remove expired ports:	2020-01-27 15:34:18 +00:00