Packages tagged optimisation

11 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (11), bsd3 (8), algorithms (5), optimization (5), ai (3), gpl (3), constraints (2), data (2), logic (2), math (2), control (1), formal-methods (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
GA350.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation)2011-09-27KennethHoste
OptDir220.0The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)2013-05-29MasahiroSakai
circle-packing1072.0Simple heuristic for packing discs of varying radii in a circle (bsd3, library, optimisation)2017-06-20JoachimBreitner
combinatorial-problems212.0A number of data structures to represent and allow the manipulation of standard combinatorial problems, used as test problems in computer science. (gpl, library, optimisation)2013-07-18RichardSenington
genprog250.0Genetic programming library (ai, algorithms, bsd3, library, optimisation)2013-08-31JanSnajder
ipopt-hs130.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-12AdamVogt
local-search60.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, gpl, library, local-search, optimisation)2013-07-18RichardSenington
moo50.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2013-05-21SergeyAstanin
nonlinear-optimization-ad40.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2016-05-26MasahiroSakai
pseudo-boolean140.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2017-09-02MasahiroSakai
toysolver210.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