mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-02-07 11:49:40 +00:00
Code Issues Releases Activity
freebsd-ports/math
History
Sunpoet Po-Chuan Hsieh 4cb8305862 Update to 0.13.1 
Changes:	https://github.com/openai/gym/blob/master/README.rst#whats-new
2019-07-09 18:20:02 +00:00
..
4ti2
…
aamath
…
abs
…
acalc
…
add
…
adept
…
adol-c
…
algae
…
alglib
…
algotutor
…
alt-ergo
…
amath
…
ambit
…
analitza
…
ann
…
antic
…
apc
…
apron
…
arb
…
aribas
…
armadillo
…
arpack-ng
…
arpack++
…
ascent
…
aspcud
…
asymptote
…
atlas
…
barvinok
…
bcal
…
biggles
…
blacs
…
blas
…
blaze
…
blazeiterative
…
blis
…
blitz++
…
blocksolve95
…
boolector
…
bsdnt
…
btor2tools
…
cadabra2
…
calc
…
calcoo
…
calctool
…
cantor
…
cbc
…
cblas
…
ccmath
…
cddlib
…
ceres-solver
…
cgal
…
cgl
…
chaco
…
chryzodus
…
clasp
…
clblas
…
clblast
…
clfft
…
cln
…
cloog
…
clp
…
clrng
…
cminpack
…
cmlib
…
cocoalib
…
coin-or-data-netlib
math/coin-or-data-netlib: Update 1.2.7 -> 1.2.8
2019-07-06 03:12:34 +00:00
coin-or-data-sample
…
coin-or-data-stochastic
…
coinmp
…
coinutils
…
combblas
…
concorde
…
convertall
…
coq
…
crlibm
…
cryptominisat
…
curv
…
cvc3
…
cvc4
…
dbcsr
…
deal.ii
…
diehard
…
dieharder
…
djbfft
…
drgeo
…
dsdp
…
dynare
…
e
…
ecos
…
edenmath
…
eigen2
…
eigen3
…
eispack
…
elpa
math/elpa: Update 2018.11.001 -> 2019.05.001
2019-07-05 05:08:16 +00:00
emc2
…
ent
…
entropy
…
eprover
…
ess
…
eukleides
…
eval
…
exprtk
…
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
…
galculator
…
gambit
…
gap
…
gau2grid
…
geogebra
…
geogram
…
geonext
…
gexpr
…
gfan
…
gfanlib
…
ggobi
…
gh-bc
…
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
…
hs-Agda
…
hs-semigroups
…
ignition-math
…
igraph
…
intervaltree
…
ipopt
…
ised
…
jacal
…
jags
…
jakarta-commons-math3
…
jama
…
jeuclid
…
jlatexmath
…
jsmath-fonts
…
jtransforms
…
jts
…
kalgebra
…
kbruch
…
kcalc
…
kig
…
kktdirect
…
kmplot
…
labplot
…
lambda
…
lapack
…
lapack95
…
lapack++
…
lapacke
…
laspack
…
latte-integrale
…
ldouble
…
lean
…
lemon
…
levmar
…
libccd
…
libflame
…
liblbfgs
…
libmesh
…
libmissing
…
libnormaliz
…
libocas
…
liborigin
…
libpgmath
…
libpoly
…
libqalculate
…
libranlip
…
libRmath
…
librsb
- Switch to new test framework
2019-07-01 15:27:03 +00:00
libtommath
…
libtsnnls
…
libxls
…
libxlsxwriter
…
libxsmm
…
lidia
…
linpack
…
lis
…
lll_spect
…
lp_solve
…
lrng
…
lrslib
…
ltl
…
ltl2ba
…
lybniz
…
mandelbulber2
…
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
…
mingw32-libgmp
…
minisat
…
miracl
…
mkl-dnn
…
mlpack
…
moab
…
moo
…
mpc
…
mpexpr
…
mpfr
…
mpir
…
mppp
…
mprime
…
mtrxmath
…
multichoose
…
mumps
…
mumps4
…
muparser
…
nanoflann
…
naturalmath
…
nauty
…
ndiff
…
newmat
…
nfft
…
ngraph
…
nlopt
…
ntl
…
numdiff
…
nyh-hoc
…
ocaml-ocamlgraph
…
ocaml-zarith
…
ocamlgsl
…
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
…
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
…
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
…
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
- Update to 2.8.0.
2019-07-05 20:28:19 +00:00
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
…
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
…
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
…
parmgridgen
…
pdal
…
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
…
pure-rational
…
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
…
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
…
py-gym
Update to 0.13.1
2019-07-09 18:20:02 +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
…
py-numeric
…
py-numexpr
…
py-numpy
Update to 1.16.4
2019-07-07 19:14:48 +00:00
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
…
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-pyodeint
math/py-pyodeint: fix build on GCC architectures
2019-06-28 12:21:22 +00:00
py-pyodesys
…
py-Pyomo
…
py-PySCIPOpt
…
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
…
py-statsmodels
…
py-svgmath
…
py-sym
…
py-symcxx
math/py-symcxx: fix build with GCC-based architectures
2019-07-09 08:32:14 +00:00
py-sympy
…
py-theano
…
py-ufl
…
py-uncertainties
…
py-vincenty
…
py-viper
…
py-yt
…
py-z3-solver
…
qalculate
…
qd
…
qhull
…
qhull5
…
qposases
…
qrupdate
…
qtiplot-doc
…
qwtplot3d
…
R
…
R-cran-Amelia
…
R-cran-assertthat
…
R-cran-backports
- Update to 1.1.4
2019-07-06 12:16:06 +00:00
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
- Update to 1.3.9
2019-07-06 12:26:23 +00:00
R-cran-deldir
- Update to 0.1-22
2019-07-06 12:47:22 +00:00
R-cran-DEoptimR
…
R-cran-dimRed
- Update to 0.2.3
2019-07-06 13:01:08 +00:00
R-cran-dlmodeler
…
R-cran-DoE.base
…
R-cran-dplyr
…
R-cran-DRR
…
R-cran-expm
- Update to 0.999-4
2019-07-06 13:14:08 +00:00
R-cran-forcats
…
R-cran-forecast
- Update to 8.7
2019-07-06 13:42:34 +00:00
R-cran-Formula
…
R-cran-fracdiff
…
R-cran-FrF2
…
R-cran-geepack
…
R-cran-geometry
…
R-cran-gmp
- Update to 0.5-13.5
2019-07-06 16:16:05 +00:00
R-cran-gower
…
R-cran-gpclib
…
R-cran-gss
…
R-cran-gtable
- Update to 0.3.0
2019-07-06 16:39:55 +00:00
R-cran-haven
…
R-cran-igraph
…
R-cran-influenceR
…
R-cran-inline
…
R-cran-ipred
- Update to 0.9-9
2019-07-06 16:53:27 +00:00
R-cran-irlba
- Update to 2.3.3
2019-07-06 17:03:15 +00:00
R-cran-KFAS
- Update to 1.3.7
2019-07-06 11:14:27 +00:00
R-cran-labeling
…
R-cran-lava
- Update to 1.6.5
2019-07-06 17:18:03 +00:00
R-cran-lazyeval
…
R-cran-LearnBayes
…
R-cran-lme4
- Update to 1.1-21
2019-07-06 22:37:33 +00:00
R-cran-magic
…
R-cran-Matching
…
R-cran-MatchIt
…
R-cran-MatrixModels
…
R-cran-maxLik
…
R-cran-mcmc
- Update to 0.9-6
2019-07-07 02:35:00 +00:00
R-cran-MCMCpack
…
R-cran-memisc
- Update to 0.99.17.2
2019-07-07 04:56:32 +00:00
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
- Update to 2016.8-1.1
2019-07-07 05:11:43 +00:00
R-cran-outliers
…
R-cran-partitions
…
R-cran-pbkrtest
…
R-cran-pls
- Update to 2.7-1
2019-07-07 05:21:12 +00:00
R-cran-polynom
…
R-cran-prodlim
…
R-cran-psych
…
R-cran-quadprog
…
R-cran-qualityTools
…
R-cran-quantreg
- Update to 5.41
2019-07-07 05:44:42 +00:00
R-cran-RcppArmadillo
- Update to 0.9.500.2.0
2019-07-06 11:29:22 +00:00
R-cran-RcppEigen
…
R-cran-RcppRoll
…
R-cran-recipes
- Update to 0.1.6
2019-07-07 06:28:00 +00:00
R-cran-rgenoud
…
R-cran-RHmm
…
R-cran-Rmpfr
- Update to 0.7-2
2019-07-06 12:06:32 +00:00
R-cran-robustbase
- Update to 0.93-5
2019-07-07 06:46:50 +00:00
R-cran-Rsolnp
…
R-cran-RSvgDevice
…
R-cran-sandwich
- Update to 2.5-1
2019-07-07 06:47:25 +00:00
R-cran-scatterplot3d
…
R-cran-sf
- Update to 0.7-6
2019-07-07 08:29:46 +00:00
R-cran-sm
…
R-cran-sp
…
R-cran-SparseM
…
R-cran-spData
- Update to 0.3.0
2019-07-07 08:46:16 +00:00
R-cran-spdep
- Update to 1.1-2
2019-07-07 09:18:17 +00:00
R-cran-SQUAREM
…
R-cran-sspir
…
R-cran-stabledist
…
R-cran-survey
…
R-cran-truncnorm
…
R-cran-units
- Update to 0.6-3
2019-07-07 10:02:29 +00:00
R-cran-uroot
- Update to 2.0-10
2019-07-07 11:09:32 +00:00
R-cran-VGAM
…
R-cran-xts
…
R-cran-Zelig
…
R-cran-zoo
- Update to 1.8-6
2019-07-07 11:12:13 +00:00
randlib
…
rapid
…
reduce
…
reduce-psl
…
reed-solomon
…
rexx-regmath
…
rkward-kde
…
rngstreams
…
rocs
…
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.12 -> 2019.06.30
2019-07-05 05:40:16 +00:00
saga
…
sage
…
sc
…
sc-im
…
scalapack
…
scilab
Adjust to proposed changes in Java versioning
2019-07-07 23:13:20 +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
…
speedcrunch
…
spooles
…
spooles-mpich
…
spot
…
stp
…
suitesparse
…
sundials
…
superlu
…
superlu_mt
…
symmetrica
…
tablix
…
taucs
…
tblis
…
testu01
…
tetgen
…
timbl
…
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
…
x12arima
…
xblas
…
xfce4-calculator-plugin
…
xgraph
…
xlapack
…
xldlas
…
xlife++
…
xplot
…
xppaut
…
xspread
…
xtensor
…
yacas
math/yacas: update to 1.7.0
2019-07-02 11:11:21 +00:00
yices
…
z3
…
zegrapher
…
zimpl
…
Makefile
…