Stephen Montgomery-Smith bf50b10441 - Update to 0.10.1.		2019-06-14 21:54:48 +00:00
..
4ti2
aamath
abs
acalc
add
adept
adol-c
algae
alglib
algotutor
alt-ergo
amath
ambit	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
analitza	Update KDE Applications to 19.04.2	2019-06-07 04:08:25 +00:00
ann
antic
apc
apron
arb
aribas
armadillo
arpack-ng
arpack++
ascent
aspcud
asymptote
atlas
barvinok
bcal
biggles
blacs
blas
blaze	Chase devel/openmp expiration	2019-05-27 20:55:56 +00:00
blazeiterative	Chase devel/openmp expiration	2019-05-27 20:55:56 +00:00
blis
blitz++
blocksolve95
boolector	math/boolector: Add USES=compiler:c++11-lang	2019-06-14 07:46:35 +00:00
bsdnt
btor2tools	New port: math/btor2tools: Generic parser and tool package for the BTOR2 format	2019-06-14 05:59:57 +00:00
cadabra2	math/cadabra2: Actually set INSTALLS_ICONS	2019-05-25 18:05:25 +00:00
calc
calcoo
calctool
cantor	Update KDE Applications to 19.04.2	2019-06-07 04:08:25 +00:00
cbc
cblas
ccmath
cddlib
ceres-solver
cgal
cgl
chaco
chryzodus
clasp
clblas
clblast
clfft
cln
cloog
clp
clrng
cminpack	math/cminpack: fix build	2019-05-31 16:47:10 +00:00
cmlib
cocoalib
coin-or-data-netlib
coin-or-data-sample
coin-or-data-stochastic
coinmp
coinutils
combblas	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
concorde
convertall
coq
crlibm
cryptominisat
curv	math/curv: Update 0.4-122 -> 0.4-127	2019-05-25 16:48:56 +00:00
cvc3
cvc4	math/cvc4: Remove llvm60 build dependency	2019-05-27 10:10:15 +00:00
dbcsr	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
deal.ii	math/deal.ii: Update 9.0.1 -> 9.1.1	2019-05-27 23:29:39 +00:00
diehard
dieharder
djbfft
drgeo
dsdp
dynare
e
ecos
edenmath
eigen2
eigen3
eispack
elpa
emc2
ent
entropy
eprover
ess
eukleides
eval
exprtk	New port: math/exprtk: C++ mathematical expression library	2019-05-27 07:24:05 +00:00
facile
fann
fcl
fflas-ffpack
fftw
fftw3
fftw3-float
fftw3-long
fftw3-quad
fftw-float
fityk
flann
flint2
flintqs
form
fpc-fftw
fpc-gmp
fpc-numlib
fplll
fricas
frobby
fxt
g2o	math/g2o: Canonicalize options group names after r503781 (D20426)	2019-06-09 05:50:20 +00:00
galculator
gambit
gap
gau2grid
geogebra	math/geogebra: update to 5.0.536.0	2019-05-13 20:31:28 +00:00
geogram
geonext
gexpr
gfan
gfanlib
ggobi
gh-bc	Upgrade to version 2.0.3.	2019-06-11 11:04:27 +00:00
giacxcas	math/giacxcas: Update 1.5.0-57 -> 1.5.0-59	2019-06-07 07:53:48 +00:00
GiNaC
givaro	math/givaro: upgrade 4.0.4 -> 4.1.0	2019-05-11 17:37:25 +00:00
gkmap
glgraph
glm
glpk
glucose
gmm++
gmp
gmp-ecm
gnome-calculator
gnubc
gnumeric
gnuplot
gnuplot-lite
gnuplot-tex-extras
gotoblas
grace
graphthing
gretl	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
gri
gringo
grpn
gsl
hexcalc
hipmcl	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
hmat-oss	math/hmat-oss: Enable tests	2019-06-02 15:30:33 +00:00
hs-Agda	math/hs-Agda: Update to latest version and unbreak.	2019-06-13 18:51:51 +00:00
hs-semigroups	lang/ghc: Update to 8.6.4 and bump PORTREVISIONs for Haskell ports.	2019-06-02 09:02:21 +00:00
ignition-math
igraph
intervaltree
ipopt
ised
jacal
jags
jakarta-commons-math3
jama
jeuclid
jlatexmath
jsmath-fonts
jtransforms
jts
kalgebra	Update KDE Applications to 19.04.2	2019-06-07 04:08:25 +00:00
kbruch	Update KDE Applications to 19.04.2	2019-06-07 04:08:25 +00:00
kcalc	Update KDE Applications to 19.04.2	2019-06-07 04:08:25 +00:00
kig	Update KDE Applications to 19.04.2	2019-06-07 04:08:25 +00:00
kktdirect
kmplot	Update KDE Applications to 19.04.2	2019-06-07 04:08:25 +00:00
labplot
lambda
lapack
lapack95
lapack++
lapacke
laspack
latte-integrale
ldouble
lean
lemon
levmar
libccd
libflame
liblbfgs
libmesh
libmissing
libnormaliz	math/libnormaliz: update to 3.7.2	2019-05-09 20:07:39 +00:00
libocas
liborigin
libpgmath
libpoly
libqalculate
libranlip
libRmath
librsb
libtommath
libtsnnls
libxls	math/libxls: fix build	2019-06-10 10:02:29 +00:00
libxlsxwriter
libxsmm	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
lidia
linpack
lis	math/lis: Update 2.0.18 -> 2.0.19	2019-05-23 08:29:44 +00:00
lll_spect	math/lll_spect: fix build	2019-06-14 21:20:19 +00:00
lp_solve
lrng	- Switch to options helpers	2019-05-13 14:26:27 +00:00
lrslib
ltl
ltl2ba
lybniz
mate-calc	update mate desktop to 1.22.1	2019-05-11 17:33:51 +00:00
math77
mathgl
mathmod
mathomatic
matio
matlab-installer
maxima	Remove left-over meaningless 85+ from USES t(cl|k)	2019-06-13 15:02:39 +00:00
mbasecalc
metis
metis4
metis-edf
mfem	math/mfem: fix build	2019-06-12 18:39:27 +00:00
mingw32-libgmp
minisat
miracl
mkl-dnn	math/mkl-dnn: Update 0.18.1 -> 0.19	2019-05-18 22:20:39 +00:00
mlpack
moab	math/moab: Fix license	2019-05-26 18:15:45 +00:00
moo
mpc
mpexpr
mpfr
mpir
mppp	math/mppp: Update 0.15-3 -> 0.16	2019-05-26 02:37:02 +00:00
mprime	math/mprime: fix i386 build	2019-05-23 11:26:28 +00:00
mtrxmath
multichoose
mumps
mumps4
muparser
nanoflann
naturalmath
nauty
ndiff
newmat
nfft
ngraph
nlopt
ntl
numdiff
nyh-hoc
ocaml-ocamlgraph
ocaml-zarith
ocamlgsl
octave	- add JAVA and QT5 option, improve library stripping.	2019-05-15 03:12:55 +00:00
octave-forge
octave-forge-actuarial
octave-forge-base
octave-forge-bim
octave-forge-bioinfo
octave-forge-bsltl
octave-forge-cgi
octave-forge-civil-engineering
octave-forge-control
octave-forge-data-smoothing
octave-forge-database
octave-forge-dataframe
octave-forge-dicom	- configure requires cmake to work properly.	2019-06-03 04:38:52 +00:00
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	- Update to 0.10.1.	2019-06-14 21:54:48 +00:00
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
octave-forge-mapping
octave-forge-mechanics
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-parallel
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-strings
octave-forge-struct
octave-forge-symband
octave-forge-symbolic
octave-forge-tcl-octave
octave-forge-tisean
octave-forge-tsa
octave-forge-video
octave-forge-zenity
octave-forge-zeromq
octomap
ogdf
oleo
openblas
openfst
openlibm
openmesh	math/openmesh: fix build with GCC-based architectures	2019-05-13 09:36:31 +00:00
opensolaris-libm
openturns	math/openturns: Update 1.13rc1 -> 1.13	2019-06-06 06:44:25 +00:00
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	Update to 0.18	2019-05-12 20:08:34 +00:00
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	Remove outdated PERL_LEVEL check	2019-05-12 16:38:17 +00:00
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
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	Remove outdated PERL_LEVEL check	2019-05-12 16:38:22 +00:00
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	Add NO_ARCH	2019-06-13 15:50:10 +00:00
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	math/pari: Update 2.11.1 -> 2.11.2	2019-05-13 06:03:55 +00:00
parmetis
parmgridgen
pdal	math/pdal: update to 1.9.1	2019-05-11 11:31:42 +00:00
PDL
pear-Math_BigInteger
pear-Math_Combinatorics
pecl-bitset
pecl-stats2
petiga
php71-bcmath
php71-gmp
php72-bcmath
php72-gmp
php73-bcmath
php73-gmp
physcalc
picosat
piranha
plman
ploticus
ploticus-nox11
plplot
plplot-ada
polylib
primegen
primesieve
primme
prng
proofgeneral
pspp
pure-mpfr	Chase llvm35 expiration	2019-06-08 11:46:54 +00:00
pure-rational	Chase llvm35 expiration	2019-06-08 11:46:54 +00:00
py-algopy
py-altgraph
py-apgl
py-autograd
py-basemap
py-basemap-data
py-bayesian-optimization
py-bitmath
py-bitvector
py-bottleneck
py-cdecimal
py-chaospy
py-cma
py-colormath
py-cryptominisat
py-cvxopt
py-cvxpy	math/py-cvxpy: Update 1.0.23 -> 1.0.24	2019-06-13 06:00:50 +00:00
py-cyipopt
py-CyLP
py-deap
py-Diofant
py-ecos
py-fastcluster
py-fastdtw
py-ffc
py-fiat
py-fpconst
py-gato
py-gau2grid
py-gimmik
py-gmpy
py-gmpy2
py-gnuplot
py-grandalf
py-graphillion
py-GridDataFormats	math/py-GridDataFormats: Update 0.4.1 -> 0.5.0	2019-05-19 18:38:21 +00:00
py-igakit
py-igraph
py-intspan
py-keras
py-keras-applications
py-keras-preprocessing
py-kiwisolver	math/py-kiwisolver: update to 1.1.0	2019-05-09 18:36:59 +00:00
py-levmar
py-libpoly
py-luminol
py-mathdom
py-matplotlib
py-mpmath
py-munkres
py-munkres10
py-MutatorMath	x11-fonts/py-fontmake: Update to 1.8.0, Update dependents	2019-05-10 16:11:01 +00:00
py-networkx
py-networkx1
py-nevergrad	Update to 0.2.1	2019-05-18 05:58:33 +00:00
py-numeric
py-numexpr
py-numpy
py-nzmath
py-osqp
py-pandas
py-pandas-datareader
py-patsy
py-permutation
py-petsc4py
py-piranha
py-plastex
py-primme
py-probstat
py-PuLP	math/py-PuLP: Update 1.6.9 -> 1.6.10	2019-06-13 23:51:35 +00:00
py-pyasp
py-pybloom
py-pyclipper
py-pycosat
py-pyFFTW
py-pygsl
py-pygslodeiv2	math/py-pygslodeiv2: Update 0.9.1 -> 0.9.2	2019-05-21 08:44:46 +00:00
py-pyhull
py-pyipopt
py-pymc
py-pymc3	math/py-pymc3: Update 3.6 -> 3.7	2019-06-01 06:57:23 +00:00
py-PyMetis
py-pyneqsys
py-pynleq2
py-pyodeint	math/py-pyodeint: Update 0.10.1 -> 0.10.2	2019-05-21 08:45:28 +00:00
py-pyodesys
py-Pyomo	math/py-Pyomo: Update 5.6.2 -> 5.6.5	2019-06-13 23:42:02 +00:00
py-PySCIPOpt	math/py-PySCIPOpt: Update 2.1.3 -> 2.1.5	2019-06-14 00:21:14 +00:00
py-pysparse
py-pysym
py-python-louvain
py-pyvtk
py-PyWavelets
py-quadprog
py-random2
py-rapi
py-roman
py-rpy
py-rpy2	Update to 3.0.4	2019-05-16 23:56:38 +00:00
py-scientific
py-scikit-umfpack
py-scs
py-seaborn
py-secp256k1
py-simhash
py-slepc4py
py-spectral
py-spot	math/py-spot: Update 2.7.4 -> 2.7.5	2019-06-07 06:43:54 +00:00
py-statsmodels
py-svgmath
py-sym
py-symcxx
py-sympy
py-theano
py-ufl
py-uncertainties
py-vincenty
py-viper
py-yt	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
py-z3-solver	math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs	2019-06-09 04:17:35 +00:00
qalculate
qd
qhull
qhull5
qposases
qrupdate
qtiplot-doc
qwtplot3d
R	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
R-cran-Amelia
R-cran-assertthat
R-cran-backports
R-cran-bdsmatrix
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
R-cran-deldir
R-cran-DEoptimR
R-cran-dimRed
R-cran-dlmodeler
R-cran-DoE.base	math/R-cran-DoE.base update to 1.1-3	2019-05-08 20:08:27 +00:00
R-cran-dplyr	- Update to 0.8.1	2019-05-31 09:04:12 +00:00
R-cran-DRR
R-cran-expm
R-cran-forcats
R-cran-forecast
R-cran-Formula
R-cran-fracdiff
R-cran-FrF2	math/R-cran-DoE.base update to 1.1-3	2019-05-08 20:08:27 +00:00
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	- Update to 1.2.4.1 [1]	2019-05-19 01:40:31 +00:00
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	- Update to 4.9.6	2019-06-03 06:23:57 +00:00
R-cran-MatchIt
R-cran-MatrixModels
R-cran-maxLik	- Update to 1.3.6	2019-05-31 09:09:21 +00:00
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
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-sf
R-cran-sm
R-cran-sp
R-cran-SparseM
R-cran-spData
R-cran-spdep
R-cran-SQUAREM
R-cran-sspir
R-cran-stabledist
R-cran-survey	- Update to 3.36	2019-05-14 12:54:59 +00:00
R-cran-truncnorm
R-cran-units
R-cran-uroot
R-cran-VGAM
R-cran-xts
R-cran-Zelig	- Update to 5.1.6.1	2019-05-15 23:33:13 +00:00
R-cran-zoo
randlib
rapid
reduce
reduce-psl
reed-solomon
rexx-regmath
rkward-kde
rngstreams
rocs	Update KDE Applications to 19.04.2	2019-06-07 04:08:25 +00:00
rpcalc
rubygem-algebra
rubygem-expression_parser
rubygem-fftw3
rubygem-mathn
rubygem-mtrc	math/rubygem-mtrc: new port - minimal metric aggregation library	2019-05-24 06:47:10 +00:00
rubygem-narray
rubygem-narray_miss
rubygem-numru-misc
rubygem-numru-units
rubygem-rb-gsl
rumur	math/rumur: Update 2019.06.05 -> 2019.06.12	2019-06-13 16:57:38 +00:00
saga
sage
sc
sc-im	Update to 0.7.0-81	2019-05-23 17:05:47 +00:00
scalapack
scilab
scilab-toolbox-swt
SCIP
scs
sdpa
secp256k1
sfft
sfst
simd-viterbi
singular
slatec
sleef
slepc
slgrace
snns
solitaire
SoPlex
sound-of-sorting
spar
spblas
spectra	math/spectra: Update 0.8.0 -> 0.8.1	2019-06-08 06:19:34 +00:00
speedcrunch
spooles
spooles-mpich
spot	math/spot: Update 2.7.4 -> 2.7.5	2019-06-07 06:43:22 +00:00
stp
suitesparse
sundials
superlu
superlu_mt
symmetrica
tablix
taucs
tblis
testu01
tetgen
timbl	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
tmv	devel/openmp: phase out	2019-05-08 16:05:53 +00:00
tomsfastmath
topaz
topcom
triangle
trlan
truthtable
tvmet
ump
units
unuran
viennacl
visualpolylib
vowpal_wabbit
vtk6
vtk8
wcalc
wfmath
why3
wingz3
wxmaxima	math/wxmaxima: Update to 19.05.7	2019-05-30 20:47:02 +00:00
x12arima
xblas
xfce4-calculator-plugin
xgraph
xlapack
xldlas
xlife++	math/xlife++: fix build with GCC-based architectures	2019-05-26 18:24:56 +00:00
xplot
xppaut
xspread
xtensor
yacas
yices
z3
zegrapher
zimpl
Makefile	New port: math/boolector: Satisfiability Modulo Theories (SMT) solver	2019-06-14 07:37:00 +00:00