freebsd-ports/math
Antoine Brodin 1b84bfb664 MFH: r507522
math/py-z3-solver: Broken on i386
2019-09-21 08:42:27 +00:00
..
4ti2
aamath
abs
acalc
add
adept
adol-c
algae
alglib
algotutor
alt-ergo
amath
ambit
analitza math/analitza: remove leading space 2019-06-23 13:29:30 +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
calc math/calc: Update to 2.12.7.2 2019-06-20 23:38:36 +00:00
calcoo
calctool
cantor KDE Applications: complete dependency lists 2019-06-23 15:39:32 +00:00
cbc
cblas
ccmath
cddlib
ceres-solver
cgal
cgl
chaco
chryzodus
clasp
clblas Remove stray ";" which was mistakenly added during editing. 2019-06-21 21:49:02 +00:00
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
concorde
convertall
coq
crlibm
cryptominisat
curv
cvc3
cvc4 math/cvc4: Remove llvm60 build dependency 2019-05-27 10:10:15 +00:00
dbcsr
deal.ii math/deal.ii: Update 9.0.1 -> 9.1.1 2019-05-27 23:29:39 +00:00
diehard
dieharder
djbfft
drgeo Add compiler:c++11-lang to unbreak build on powerpc64: 2019-06-19 12:30:46 +00:00
dsdp
dynare
e
ecos
edenmath
eigen2
eigen3
eispack
elpa math/elpa: fix build with GCC architectures 2019-06-29 10:17:17 +00:00
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 Update OCaml to version 4.05.0 (this is the last version where strings 2019-06-24 10:14:57 +00:00
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
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-59 -> 1.5.0-61 2019-06-20 21:57:34 +00:00
GiNaC
givaro
gkmap
glgraph
glm
glpk
glucose
gmm++
gmp
gmp-ecm
gnome-calculator
gnubc
gnumeric
gnuplot . Update to 5.2.7 2019-06-19 21:07:25 +00:00
gnuplot-lite
gnuplot-tex-extras . Update to 5.2.7 2019-06-19 21:13:14 +00:00
gotoblas
grace
graphthing
gretl
gri
gringo
grpn
gsl
hexcalc
hipmcl
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 KDE Applications: complete dependency lists 2019-06-23 15:39:32 +00:00
kbruch Update KDE Applications to 19.04.2 2019-06-07 04:08:25 +00:00
kcalc KDE Applications: complete dependency lists 2019-06-23 15:39:32 +00:00
kig KDE Applications: complete dependency lists 2019-06-23 15:39:32 +00:00
kktdirect
kmplot KDE Applications: complete dependency lists 2019-06-23 15:39:32 +00:00
labplot
lambda
lapack
lapack95
lapack++
lapacke
laspack
latte-integrale
ldouble
lean
lemon
levmar
libccd
libflame
liblbfgs
libmesh Add compiler:c++11-lang to unbreak build on powerpc64: 2019-06-19 12:27:45 +00:00
libmissing
libnormaliz math/libnormaliz: Update to 3.7.3 2019-06-18 01:05:48 +00:00
libocas
liborigin
libpgmath
libpoly
libqalculate
libranlip
libRmath
librsb - Switch to new test framework 2019-07-01 15:27:03 +00:00
libtommath
libtsnnls
libxls math/libxls: fix build 2019-06-10 10:02:29 +00:00
libxlsxwriter
libxsmm Switch to ONLY_FOR_ARCHS=amd64. 2019-06-21 11:56:51 +00:00
lidia
linpack
lis
lll_spect math/lll_spect: fix build 2019-06-14 21:20:19 +00:00
lp_solve
lrng
lrslib
ltl
ltl2ba
lybniz
mandelbulber2 New port: math/mandelbulber2: Three-dimensional fractals generator 2019-06-23 04:39:30 +00:00
mate-calc
math77
mathgl
mathmod
mathomatic
matio math/matio: 2019-06-30 21:48:14 +00:00
matlab-installer
maxima Bump PORTREVISION on *-sbcl ports after lang/sbcl upgrade. 2019-07-01 13:56:02 +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.19 -> 0.20 2019-06-22 00:44:51 +00:00
mlpack
moab
moo
mpc
mpexpr
mpfr
mpir
mppp
mprime
mtrxmath
multichoose
mumps
mumps4
muparser
nanoflann
naturalmath
nauty
ndiff
newmat
nfft
ngraph
nlopt Update Guile to version 2.2.5, modern stable version, and fix dependent 2019-06-27 09:02:56 +00:00
ntl
numdiff
nyh-hoc
ocaml-ocamlgraph
ocaml-zarith
ocamlgsl Update OCaml to version 4.05.0 (this is the last version where strings 2019-06-24 10:14:57 +00:00
octave
octave-forge - Set default to on for optional install of math/octave-forge-database subport. 2019-07-02 21:27:34 +00:00
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 - Unbreak. 2019-07-02 21:24:18 +00:00
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 - On GCC architectures, don't use the base GCC to build. 2019-06-30 23:32:57 +00:00
octave-forge-oct2mat
octave-forge-octclip
octave-forge-octproj - Update to 6.1.0 and fix some ports 2019-06-27 03:37:10 +00:00
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 math/openblas: fix build on powerpc64 2019-06-27 17:18:17 +00:00
openfst
openlibm math/openlibm: fix build with GCC-based architectures 2019-06-17 07:17:10 +00:00
openmesh
opensolaris-libm
openturns math/openturns: Update 1.13rc1 -> 1.13 2019-06-06 06:44:25 +00:00
optpp
orpie
osi math/osi: Update 0.107.9 -> 0.108.4 2019-06-20 23:52:25 +00:00
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.12 2019-06-19 16:54:30 +00:00
p5-Math-NumberCruncher
p5-Math-Pari MFH: r512006 2019-09-14 12:22:58 +00:00
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 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
parmetis
parmgridgen
pdal Update graphics/libgeotiff to 1.5.1 2019-06-27 19:57:33 +00:00
PDL MFH: r512033 2019-09-14 16:20:52 +00:00
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 - Add NO_ARCH 2019-06-25 16:16:31 +00:00
py-bottleneck
py-cdecimal
py-chaospy math/py-chaospy: Update 3.0.4 -> 3.0.5 2019-06-20 23:36:57 +00:00
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 math/py-deap: Update 1.2.2 -> 1.3.0 2019-06-20 23:47:25 +00:00
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
py-gym Update to 0.13.0 2019-07-01 15:37:30 +00:00
py-igakit
py-igraph
py-intspan
py-keras
py-keras-applications
py-keras-preprocessing
py-kiwisolver
py-levmar
py-libpoly
py-luminol
py-mathdom
py-matplotlib
py-mpmath
py-munkres
py-munkres10
py-MutatorMath
py-networkx
py-networkx1
py-nevergrad Update to 0.2.2 2019-06-21 23:09:26 +00:00
py-numeric
py-numexpr
py-numpy
py-nzmath
py-osqp
py-pandas
py-pandas-datareader MFH: r508411 2019-08-09 11:25:06 +00:00
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: fix build on GCC architectures 2019-06-28 09:22:18 +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: fix build on GCC architectures 2019-06-28 12:21:22 +00:00
py-pyodesys
py-Pyomo math/py-Pyomo: Update 5.6.5 -> 5.6.6 2019-06-22 08:14:29 +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
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 Update to 0.10.0 2019-06-27 20:04:36 +00:00
py-svgmath
py-sym
py-symcxx
py-sympy
py-theano
py-ufl
py-uncertainties
py-vincenty
py-viper
py-yt
py-z3-solver MFH: r507522 2019-09-21 08:42:27 +00:00
qalculate
qd
qhull
qhull5
qposases
qrupdate
qtiplot-doc
qwtplot3d
R math/R: force new compiler on GCC architectures 2019-06-18 13:04:57 +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
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
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 - 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 - Update to 6.1.0 and fix some ports 2019-06-27 03:37:10 +00:00
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
R-cran-truncnorm
R-cran-units
R-cran-uroot
R-cran-VGAM
R-cran-xts
R-cran-Zelig
R-cran-zoo
randlib
rapid
reduce
reduce-psl
reed-solomon
rexx-regmath
rkward-kde
rngstreams
rocs KDE Applications: complete dependency lists 2019-06-23 15:39:32 +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 2019.06.05 -> 2019.06.12 2019-06-13 16:57:38 +00:00
saga - Update to 6.1.0 and fix some ports 2019-06-27 03:37:10 +00:00
sage
sc
sc-im
scalapack
scilab Unbreak the build against both current and future versions of OCaml. 2019-06-21 16:56:38 +00:00
scilab-toolbox-swt
SCIP
scs
sdpa
secp256k1 - Switch to options helpers 2019-06-28 15:51:28 +00:00
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 Now that devel/openmp has been enabled on powerpc64, fix these newly 2019-06-16 16:31:08 +00:00
tmv
tomsfastmath
topaz
topcom
triangle
trlan
truthtable
tvmet
ump
units
unuran
viennacl
visualpolylib
vowpal_wabbit
vtk6 - powerpc64 needs -mminimal-toc in CXXFLAGS. 2019-06-30 23:39:02 +00:00
vtk8
wcalc
wfmath
why3
wingz3
wxmaxima MFH: r509307 2019-08-21 07:14:17 +00:00
x12arima
xblas
xfce4-calculator-plugin - Simplify XFCE MASTER_SITES usage 2019-06-19 16:14:27 +00:00
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 math/yacas: update to 1.7.0 2019-07-02 11:11:21 +00:00
yices
z3 math/z3: Update to 4.8.5. 2019-06-26 18:41:25 +00:00
zegrapher
zimpl
Makefile New port: math/mandelbulber2: Three-dimensional fractals generator 2019-06-23 04:39:30 +00:00