Packages tagged optimization

12 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
DifferentialEvolution250.0Global optimization using Differential Evolution (algorithms, library, mit, numerical, optimization)2011-03-11VilleTirronen
OptDir210.0The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)2013-05-29MasahiroSakai
cmaes300.0CMA-ES wrapper in Haskell (algorithms, library, numerical, optimization)2015-09-10TakayukiMuranushi
hermit80.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb60.0HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation)2013-11-18AndrewFarmer
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-boolean130.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2017-09-02MasahiroSakai
spaceprobe30.0Optimization over arbitrary search spaces (benchmark, bsd3, library, optimization)2015-05-27SeanBurton
spsa40.0Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (benchmark, library, math, mit, optimization)2014-01-20yanatan16
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
typeparams50.0Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation (bsd3, configuration, data, dependent-types, library, optimization)2015-01-26MikeIzbicki