Packages tagged optimization

24 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (24), bsd3 (17), optimisation (14), algorithms (11), math (11), data (3), gpl (3), mathematics (3), numerical (3), program (3), constraints (2), formal-methods (2), language (2), logic (2), mit (2), numeric (2), ai (1), algorithms- (1), animation (1), apache (1), combinatorics (1), configuration (1), dependent-types (1), game-engine (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
DifferentialEvolution20.01Global optimization using Differential Evolution (algorithms-, library, mit, numerical, optimization)2011-03-110.0.2VilleTirronen
MIP160.02Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2024-09-040.1.2.0MasahiroSakai
MIP-glpk10.00A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-260.1.1.0MasahiroSakai
OptDir190.03The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)2024-03-200.1.0MasahiroSakai
ad-delcont202.250Reverse-mode automatic differentiation with delimited continuations (bsd3, library, machine-learning, math, numeric, optimisation, optimization)2023-07-030.5.0.0ocramz
cmaes250.01CMA-ES wrapper in Haskell (algorithms, library, numerical, optimization)2020-10-100.2.3DominicSteinitz, TakayukiMuranushi
exact-kantorovich00.00Exact Kantorovich distance between finite probability measures. (bsd3, library, math, optimization)2024-05-080.1.0.0stla
hermit200.02Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-231.0.1AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
hermit-syb30.01HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals. (bsd3, language, library, optimization, transformation-)2013-11-180.1.0.0AndrewFarmer
imj-base52.02Game engine with geometry, easing, animated text, delta rendering. (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface)2018-01-010.1.0.2OlivierSohn
matroid52.00matroid (combinatorial pre-geometries) library (bsd3, combinatorics, library, mathematics, optimization)2021-02-280.0.0.1.1alb
minizinc-process00.00A set of helpers to call minizinc models. (apache, library, optimization)2024-04-020.1.5.0LucasDiCioccio
moo22.02Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2018-11-131.2SergeyAstanin
nonlinear-optimization-ad60.01Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
nonlinear-optimization-backprop50.00Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
numeric-optimization40.02Unified interface to various numerical optimization algorithms (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization)2023-06-210.1.1.0MasahiroSakai
numeric-optimization-ad20.00Wrapper of numeric-optimization package for using with AD package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
numeric-optimization-backprop30.00Wrapper of numeric-optimization package for using with backprop package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
pseudo-boolean290.01Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2024-03-140.1.11.0MasahiroSakai
simplex-method20.03Implementation of the two-phase simplex method in exact rational arithmetic (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization)2023-12-020.2.0.0JunaidRasheed
spaceprobe140.01Optimization over arbitrary search spaces (bsd3, library, optimization)2015-05-270.3.0SeanBurton
spsa20.01Simultaneous Perturbation Stochastic Approximation Optimization Algorithm (library, math, mit, optimization)2014-01-200.2.0.0yanatan16
toysolver180.04Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers)2022-09-170.8.1MasahiroSakai
typeparams30.01Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation (bsd3, configuration, data, dependent-types, library, optimization)2015-01-260.0.6MikeIzbicki