Edit
IABSD.fr/ports/math
Branch :
-
Show log
Commit
-
Author :
kirill
Date : 2025-03-22 14:21:53
Hash : f90b6e64
Message : math/z3: update to 4.14.1 OK: kn@
- Files
- 4ti2
- Makefile
- R
- aamath
- armadillo
- arpack
- bc-gh
- bcal
- bitwise
- calc
- calcoo
- cddlib
- cfitsio
- cgal
- cglm
- cgns
- coq
- datamash
- dieharder
- double-conversion
- ecm
- eigen3
- ensmallen
- exprtk
- fann
- fftw
- fftw3
- flann
- flintlib
- foma
- galculator
- gbc
- geogebra
- ginac
- gnumeric
- gnuplot
- grace
- graphviz
- grpn
- gunits
- hc
- hdf5
- hexcalc
- hoc
- igraph
- imath
- isl
- jacal
- kst
- labplot
- lapack
- lean
- libcerf
- libqalculate
- libtommath
- lpsolve
- lrs
- mathomatic
- matio
- maxima
- mcl
- mcsim
- med
- minisat
- ministat
- mlpack
- moo
- muparser
- netcdf
- nlopt
- nonogram
- nonolib
- ntl
- ocaml-num
- ocaml-zarith
- octave
- openfst
- p5-AI-FANN
- p5-AI-NeuralNet-BackProp
- p5-AI-NeuralNet-Kohonen-Visual
- p5-AI-NeuralNet-Kohonen
- p5-AI-NeuralNet-Mesh
- p5-AI-Perceptron
- p5-Algorithm-Combinatorics
- p5-Algorithm-NaiveBayes
- p5-Bit-Vector
- p5-Business-Hours
- p5-Chart-Math-Axis
- p5-Data-PowerSet
- p5-Graph-Easy-As_svg
- p5-Graph-Easy
- p5-GraphViz
- p5-Math-Base36
- p5-Math-Base85
- p5-Math-BaseCnv
- p5-Math-Bezier
- p5-Math-BigInt-GMP
- p5-Math-Calc-Units
- p5-Math-Derivative
- p5-Math-FFT
- p5-Math-Fibonacci-Phi
- p5-Math-Fibonacci
- p5-Math-GMP
- p5-Math-GMPf
- p5-Math-GMPz
- p5-Math-Int128
- p5-Math-Int64
- p5-Math-MatrixReal
- p5-Math-Prime-Util-GMP
- p5-Math-Prime-Util
- p5-Math-Random-ISAAC
- p5-Math-Round
- p5-Math-Spline
- p5-Math-Symbolic
- p5-Math-SymbolicX-ParserExtensionFactory
- p5-Math-Utils
- p5-Math-VecStat
- p5-Number-WithError
- p5-Set-IntSpan
- p5-Statistics-CaseResampling
- p5-Statistics-Contingency
- p5-Statistics-Descriptive
- pari
- pcalc
- plplot
- prover9
- pspp
- py-PyWavelets
- py-affine
- py-bottleneck
- py-cftime
- py-contourpy
- py-cvxopt
- py-cvxpy
- py-datedelta
- py-ecos
- py-gmpy2
- py-graphviz
- py-h5py
- py-mpmath
- py-netcdf4
- py-networkx
- py-numexpr
- py-numpy
- py-oldest-supported-numpy
- py-osqp
- py-pandas
- py-patsy
- py-pysmt
- py-scikit-image
- py-scikit-learn
- py-scipy
- py-scs
- py-snuggs
- py-sympy
- py-tables
- py2-numpy
- qhull
- qrupdate
- rstudio
- sc
- spread-sheet-widget
- suitesparse
- superlu
- udunits
- verdict
- veusz
- visidata
- wcalc
- wmcalc
- wxMaxima
- yorick
- z3