Packages tagged optimization

17 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (17), bsd3 (10), algorithms (8), optimisation (8), math (5), data (3), language (3), mit (3), program (3), constraints (2), formal-methods (2), gpl (2), logic (2), numerical (2), transformation (2), ai (1), animation (1), apache (1), configuration (1), dependent-types (1), extremum-estimator (1), game (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
DifferentialEvolution70.0Global optimization using Differential Evolution (algorithms, library, mit, numerical, optimization)2011-03-11VilleTirronen
MIP50.0Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2020-08-15MasahiroSakai
OptDir160.0The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)2020-01-13MasahiroSakai
cmaes1430.0CMA-ES wrapper in Haskell (algorithms, library, numerical, optimization)2020-10-10DominicSteinitz, TakayukiMuranushi
hermit410.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb40.0HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation)2013-11-18AndrewFarmer
imj-base52.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
minizinc-process40.0A set of helpers to call minizinc models. (apache, library, optimization)2020-04-18LucasDiCioccio
moo3422.0Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2018-11-13SergeyAstanin
nonlinear-optimization-ad170.0Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
nonlinear-optimization-backprop30.0Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-29MasahiroSakai
pseudo-boolean320.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2019-10-14MasahiroSakai
spaceprobe50.0Optimization over arbitrary search spaces (bsd3, library, optimization)2015-05-27SeanBurton
spsa40.0Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (library, math, mit, optimization)2014-01-20yanatan16
toysolver200.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
typeparams90.0Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation (bsd3, configuration, data, dependent-types, library, optimization)2015-01-26MikeIzbicki
uniqueness-periods-vector-general11640.0Some kind of the optimization approach to data inner structure. (extremum-estimator, game, language, library, math, mit, optimization, phonetic-languages, uniqueness)2020-10-12OleksandrZhabenko