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), benchmark (1), control (1), ...

Name
DLs
Rating
Description
Tags
Maintainer
GA190.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation)KennethHoste
OptDir140.0The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)MasahiroSakai
circle-packing442.0Simple heuristic for packing discs of varying radii in a circle (bsd3, library, optimisation)JoachimBreitner
combinatorial-problems192.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)RichardSenington
genprog110.0Genetic programming library (ai, algorithms, bsd3, library, optimisation)JanSnajder
ipopt-hs90.0haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)AdamVogt
local-search100.0Generalised local search within Haskell, for applications in combinatorial optimisation. (control, gpl, library, local-search, optimisation)RichardSenington
moo10.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)SergeyAstanin
nonlinear-optimization-ad50.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)MasahiroSakai
pseudo-boolean620.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)MasahiroSakai
toysolver150.0Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc (algorithms, benchmark, bsd3, constraints, library, logic, optimisation, optimization, program, theorem-provers)MasahiroSakai