Packages tagged optimisation

16 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (16), bsd3 (10), algorithms (9), optimization (9), math (5), ai (3), gpl (3), constraints (2), control (2), data (2), local-search (2), logic (2), program (2), animation (1), formal-methods (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
GA100.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation)2011-09-27KennethHoste
MIP100.0Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2020-12-26MasahiroSakai
MIP-glpk30.0A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-26MasahiroSakai
OptDir200.0The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)2020-01-13MasahiroSakai
circle-packing822.0Simple heuristic for packing discs of varying radii in a circle (bsd3, library, optimisation)2017-06-20JoachimBreitner
combinatorial-problems82.0A 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-18RichardSenington
genprog70.0Genetic programming library (ai, algorithms, bsd3, library, optimisation)2013-08-31JanSnajder
imj-base42.0Game engine with geometry, easing, animated text, delta rendering. (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface)2018-01-01OlivierSohn
ipopt-hs40.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
local-search50.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-18RichardSenington
metaheuristics10.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2019-10-04richardjamessenington
moo4552.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2018-11-13SergeyAstanin
nonlinear-optimization-ad70.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
nonlinear-optimization-backprop10.0Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
pseudo-boolean140.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2019-10-14MasahiroSakai
toysolver3680.0Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers)2021-02-10MasahiroSakai