Packages tagged optimisation

13 packages have this tag.

[Merge tag] (trustees only)

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

Last U/L
GA690.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation)2011-09-27KennethHoste
OptDir1350.0The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)2020-01-13MasahiroSakai
circle-packing2822.0Simple heuristic for packing discs of varying radii in a circle (bsd3, library, optimisation)2017-06-20JoachimBreitner
combinatorial-problems1432.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
genprog870.0Genetic programming library (ai, algorithms, bsd3, library, optimisation)2013-08-31JanSnajder
imj-base592.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-hs1840.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
local-search1520.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-18RichardSenington
metaheuristics490.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2019-10-04richardjamessenington
moo862.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2018-11-13SergeyAstanin
nonlinear-optimization-ad1890.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-12MasahiroSakai
pseudo-boolean2570.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2019-10-14MasahiroSakai
toysolver4340.0Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers)2019-10-04MasahiroSakai