Packages tagged optimisation
21 packages have this tag.
[Merge tag] (trustees only)Related tags: library (21), bsd3 (15), optimization (14), algorithms (12), math (10), ai (3), gpl (3), numeric (3), constraints (2), control (2), data (2), local-search (2), logic (2), mathematics (2), program (2), animation (1), formal-methods (1), game-engine (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
GA | 18 | 0.0 | 1 | Genetic algorithm library | (ai, algorithms, bsd3, library, optimisation) | 2011-09-27 | 1.0 | KennethHoste |
MIP | 26 | 0.0 | 2 | Library for using Mixed Integer Programming (MIP) | (algorithms, bsd3, library, math, optimisation, optimization) | 2024-09-04 | 0.1.2.0 | MasahiroSakai |
MIP-glpk | 3 | 0.0 | 0 | A GLPK backend to the MIP library. | (algorithms, gpl, library, math, optimisation, optimization) | 2020-12-26 | 0.1.1.0 | MasahiroSakai |
OptDir | 30 | 0.0 | 3 | The OptDir type for representing optimization directions. | (bsd3, data, library, optimisation, optimization) | 2024-03-20 | 0.1.0 | MasahiroSakai |
ad-delcont | 26 | 2.25 | 0 | Reverse-mode automatic differentiation with delimited continuations | (bsd3, library, machine-learning, math, numeric, optimisation, optimization) | 2023-07-03 | 0.5.0.0 | ocramz |
circle-packing | 75 | 2.0 | 2 | Simple heuristic for packing discs of varying radii in a circle | (bsd3, library, optimisation) | 2017-06-20 | 0.1.0.6 | JoachimBreitner |
combinatorial-problems | 13 | 2.0 | 2 | A number of data structures to represent and allow the manipulation of standard combinatorial problems, used as test problems in computer science. | (library, optimisation) | 2013-07-18 | 0.0.5 | RichardSenington |
genprog | 5 | 0.0 | 1 | Genetic programming library | (ai, algorithms, bsd3, library, optimisation) | 2013-08-31 | 0.1.0.2 | JanSnajder |
imj-base | 6 | 2.0 | 2 | Game engine with geometry, easing, animated text, delta rendering. | (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface) | 2018-01-01 | 0.1.0.2 | OlivierSohn |
ipopt-hs | 17 | 0.0 | 1 | haskell binding to ipopt and nlopt including automatic differentiation | (bsd3, library, math, numeric, optimisation) | 2016-01-12 | 0.5.1.0 | AdamVogt |
local-search | 15 | 0.0 | 1 | Generalised local search within Haskell, for applications in combinatorial optimisation. | (control, library, local-search, optimisation) | 2013-07-18 | 0.0.7 | RichardSenington |
metaheuristics | 5 | 0.0 | 0 | Generalised local search within Haskell, for applications in combinatorial optimisation. | (control, library, local-search, optimisation) | 2019-10-04 | 0.0.8 | richardjamessenington |
moo | 7 | 2.0 | 2 | Genetic algorithm library | (ai, algorithms, bsd3, library, optimisation, optimization) | 2018-11-13 | 1.2 | SergeyAstanin |
nonlinear-optimization-ad | 20 | 0.0 | 1 | Wrapper of nonlinear-optimization package for using with AD package | (algorithms, gpl, library, math, optimisation, optimization) | 2020-02-29 | 0.2.4 | MasahiroSakai |
nonlinear-optimization-backprop | 7 | 0.0 | 0 | Wrapper of nonlinear-optimization package for using with backprop package | (algorithms, gpl, library, math, optimisation, optimization) | 2020-02-29 | 0.2.4 | MasahiroSakai |
numeric-optimization | 9 | 0.0 | 2 | Unified interface to various numerical optimization algorithms | (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization) | 2023-06-21 | 0.1.1.0 | MasahiroSakai |
numeric-optimization-ad | 5 | 0.0 | 0 | Wrapper of numeric-optimization package for using with AD package | (algorithms, bsd3, library, math, optimisation, optimization) | 2023-06-03 | 0.1.0.1 | MasahiroSakai |
numeric-optimization-backprop | 6 | 0.0 | 0 | Wrapper of numeric-optimization package for using with backprop package | (algorithms, bsd3, library, math, optimisation, optimization) | 2023-06-03 | 0.1.0.1 | MasahiroSakai |
pseudo-boolean | 50 | 0.0 | 1 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | 2024-03-14 | 0.1.11.0 | MasahiroSakai |
simplex-method | 5 | 0.0 | 3 | Implementation of the two-phase simplex method in exact rational arithmetic | (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization) | 2023-12-02 | 0.2.0.0 | JunaidRasheed |
toysolver | 34 | 0.0 | 4 | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc | (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers) | 2022-09-17 | 0.8.1 | MasahiroSakai |