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), ...

Last U/L
GA80.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation)2011-09-27KennethHoste
OptDir90.0The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)2013-05-29MasahiroSakai
circle-packing402.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
genprog60.0Genetic programming library (ai, algorithms, bsd3, library, optimisation)2013-08-31JanSnajder
imj-base102.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-hs110.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
local-search120.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-18RichardSenington
moo42.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2013-05-21SergeyAstanin
nonlinear-optimization-ad50.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2016-05-26MasahiroSakai
pseudo-boolean110.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2017-09-02MasahiroSakai
toysolver170.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