Packages tagged optimization

12 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (12), bsd3 (8), algorithms (5), optimisation (5), benchmark (3), data (3), constraints (2), language (2), logic (2), math (2), mit (2), numerical (2), program (2), transformation (2), ...

Name
DLs
Rating
Description
Tags
Maintainer
DifferentialEvolution120.0Global optimization using Differential Evolution (algorithms, library, mit, numerical, optimization)VilleTirronen
OptDir140.0The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)MasahiroSakai
cmaes280.0CMA-ES wrapper in Haskell (algorithms, library, numerical, optimization)TakayukiMuranushi
hermit250.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb20.0HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation)AndrewFarmer
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-boolean630.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)MasahiroSakai
spaceprobe60.0Optimization over arbitrary search spaces (benchmark, bsd3, library, optimization)SeanBurton
spsa40.0Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (benchmark, library, math, mit, optimization)yanatan16
toysolver150.0Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc (algorithms, benchmark, bsd3, constraints, library, logic, optimisation, optimization, program, theorem-provers)MasahiroSakai
typeparams70.0Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation (bsd3, configuration, data, dependent-types, library, optimization)MikeIzbicki