Packages tagged optimisation

12 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (12), bsd3 (9), algorithms (6), optimization (6), ai (3), constraints (2), data (2), logic (2), math (2), program (2), animation (1), control (1), formal-methods (1), game-engine (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
GA210.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation)2011-09-27KennethHoste
OptDir170.0The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)2013-05-29MasahiroSakai
circle-packing692.0Simple heuristic for packing discs of varying radii in a circle (bsd3, library, optimisation)2017-06-20JoachimBreitner
combinatorial-problems182.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
genprog100.0Genetic programming library (ai, algorithms, bsd3, library, optimisation)2013-08-31JanSnajder
imj-base82.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-hs270.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
local-search190.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-18RichardSenington
moo92.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2013-05-21SergeyAstanin
nonlinear-optimization-ad130.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2016-05-26MasahiroSakai
pseudo-boolean220.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2017-09-02MasahiroSakai
toysolver390.0Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, theorem-provers)2017-10-09MasahiroSakai