aboutsummaryrefslogtreecommitdiff
path: root/math/Makefile
Commit message (Expand)AuthorAgeFilesLines
* New port: math/glucose: Parallel SAT solver based on Minisat, with glue clausesYuri Victorovich2018-02-031-0/+1
* An optimized C library for EC operations on curve secp256k1.Alex Dupre2018-01-291-0/+1
* Remove expired ports:Rene Ladan2018-01-281-1/+0
* New port: math/tmv: Fast, intuitive linear algebra library for C++Yuri Victorovich2018-01-261-0/+1
* new port math/tblis: a framework to perform tensor operations which are ubiqu...Johannes M Dieterich2018-01-171-0/+1
* New port: math/py-pyasp: Convenience wrapper for the ASP tools gringo and claspYuri Victorovich2018-01-151-0/+1
* New port: math/symmetrica: Collection of routines for combinatorial mathematicsYuri Victorovich2018-01-011-0/+1
* New port: math/flann: Library for fast nearest neighbor searches in high dime...Yuri Victorovich2017-12-301-0/+1
* New port: math/sundials: SUite of Nonlinear and DIfferential/ALgebraic Equati...Yuri Victorovich2017-12-271-0/+1
* New port: math/adept: Combined array and automatic differentiation library in...Yuri Victorovich2017-12-261-0/+1
* New port: math/zimpl: Language to translate the LP models into .lp or .mpsYuri Victorovich2017-12-251-0/+1
* New port: math/SCIP: Solver for mixed integer, mixed integer nonlinear progra...Yuri Victorovich2017-12-251-0/+1
* New port: math/SoPlex: Optimization package for solving linear programming pr...Yuri Victorovich2017-12-251-0/+1
* New port: math/libmesh: Numerical simulation of partial differential equationsYuri Victorovich2017-12-201-0/+1
* Add a -lite version for gnuplot which has minimal dependencies.Greg Lewis2017-12-131-0/+1
* Add new port math/nfftRodrigo Osorio2017-12-031-0/+1
* New port: math/eprover : Theorem prover for full first-order logic with equalityYuri Victorovich2017-11-191-0/+1
* New port: math/ambit: C++ library for tensor product calculationsYuri Victorovich2017-11-181-0/+1
* Add PHP 7.2 RC6Torsten Zuehlsdorff2017-11-161-0/+2
* Upgrade - endly! - to Code_Aster 13.4.0-3.Thierry Thomas2017-11-141-0/+1
* Remove expired port:Rene Ladan2017-11-111-1/+0
* connect math/rexx-regmath to the build.Larry Rosenman2017-10-131-0/+1
* Sort categories Makefiles properly.Mathieu Arnold2017-09-111-2/+2
* - Add new port: math/R-cran-recipesTAKATSU Tomonari2017-09-101-0/+1
* - Add new port: math/R-cran-gowerTAKATSU Tomonari2017-09-101-0/+1
* - Add new port: math/R-cran-RcppRollTAKATSU Tomonari2017-09-101-0/+1
* - Add new port: math/R-cran-ddalphaTAKATSU Tomonari2017-09-101-0/+1
* - Add new port: math/R-cran-robustbaseTAKATSU Tomonari2017-09-101-0/+1
* Unbreak INDEXAntoine Brodin2017-09-101-3/+3
* - Add new port: math/R-cran-DEoptimRTAKATSU Tomonari2017-09-101-0/+1
* - Add new ports: math/R-cran-dimRedTAKATSU Tomonari2017-09-101-0/+1
* - Add new port: math/R-cran-DRRTAKATSU Tomonari2017-09-101-0/+1
* - Add new port: math/R-cran-CVSTTAKATSU Tomonari2017-09-101-0/+1
* - Add new port: math/R-cran-ipredTAKATSU Tomonari2017-09-101-0/+1
* - Add new port: math/R-cran-prodlimTAKATSU Tomonari2017-09-101-0/+1
* - Add new port: math/R-cran-lavaTAKATSU Tomonari2017-09-101-0/+1
* A cross-platform numerical analysis and data processing library. It supportsWen Heping2017-08-211-0/+1
* - Update The Glorious Glasgow Haskell Compiler to version 8.0.2Tobias C. Berner2017-08-081-0/+3
* Add form 4.2.0, symbolic Manipulation System.Emanuel Haupt2017-08-031-0/+1
* Routines for combinatorics.Wen Heping2017-07-261-0/+1
* Update the mate desktop to 1.18.Koop Mast2017-07-041-0/+1
* - Add new port math/R-cran-sfTAKATSU Tomonari2017-06-271-0/+1
* - Add new port: math/R-cran-unitsTAKATSU Tomonari2017-06-271-0/+1
* - New port math/octave-forge-bsltl.Stephen Montgomery-Smith2017-06-221-0/+1
* Add new port math/viennaclCarlos J. Puga Medina2017-06-031-0/+1
* new port: math/clblast. This adds clblast (notice the t!) another BLAS librar...Johannes M Dieterich2017-06-021-0/+1
* new port: math/blisJohannes M Dieterich2017-05-201-0/+1
* - Add new port: math/R-cran-expmTAKATSU Tomonari2017-05-071-0/+1
* Rsolnp: General Non-Linear OptimizationMartin Wilke2017-05-061-0/+1
* qualityTools: Statistical Methods for Quality ScienceMartin Wilke2017-05-061-0/+1