Packages tagged optimisation

21 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (21), bsd3 (15), optimization (14), algorithms (12), math (10), ai (3), gpl (3), numeric (3), constraints (2), control (2), data (2), local-search (2), logic (2), mathematics (2), program (2), animation (1), formal-methods (1), game-engine (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
GA180.01Genetic algorithm library (ai, algorithms, bsd3, library, optimisation)2011-09-271.0KennethHoste
MIP260.02Library for using Mixed Integer Programming (MIP) (algorithms, bsd3, library, math, optimisation, optimization)2024-09-040.1.2.0MasahiroSakai
MIP-glpk30.00A GLPK backend to the MIP library. (algorithms, gpl, library, math, optimisation, optimization)2020-12-260.1.1.0MasahiroSakai
OptDir300.03The OptDir type for representing optimization directions. (bsd3, data, library, optimisation, optimization)2024-03-200.1.0MasahiroSakai
ad-delcont262.250Reverse-mode automatic differentiation with delimited continuations (bsd3, library, machine-learning, math, numeric, optimisation, optimization)2023-07-030.5.0.0ocramz
circle-packing752.02Simple heuristic for packing discs of varying radii in a circle (bsd3, library, optimisation)2017-06-200.1.0.6JoachimBreitner
combinatorial-problems132.02A number of data structures to represent and allow the manipulation of standard combinatorial problems, used as test problems in computer science. (library, optimisation)2013-07-180.0.5RichardSenington
genprog50.01Genetic programming library (ai, algorithms, bsd3, library, optimisation)2013-08-310.1.0.2JanSnajder
imj-base62.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
ipopt-hs170.01haskell binding to ipopt and nlopt including automatic differentiation (bsd3, library, math, numeric, optimisation)2016-01-120.5.1.0AdamVogt
local-search150.01Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2013-07-180.0.7RichardSenington
metaheuristics50.00Generalised local search within Haskell, for applications in combinatorial optimisation. (control, library, local-search, optimisation)2019-10-040.0.8richardjamessenington
moo72.02Genetic algorithm library (ai, algorithms, bsd3, library, optimisation, optimization)2018-11-131.2SergeyAstanin
nonlinear-optimization-ad200.01Wrapper of nonlinear-optimization package for using with AD package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
nonlinear-optimization-backprop70.00Wrapper of nonlinear-optimization package for using with backprop package (algorithms, gpl, library, math, optimisation, optimization)2020-02-290.2.4MasahiroSakai
numeric-optimization90.02Unified interface to various numerical optimization algorithms (algorithms, bsd3, library, math, numeric, numerical, optimisation, optimization)2023-06-210.1.1.0MasahiroSakai
numeric-optimization-ad50.00Wrapper of numeric-optimization package for using with AD package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
numeric-optimization-backprop60.00Wrapper of numeric-optimization package for using with backprop package (algorithms, bsd3, library, math, optimisation, optimization)2023-06-030.1.0.1MasahiroSakai
pseudo-boolean500.01Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2024-03-140.1.11.0MasahiroSakai
simplex-method50.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
toysolver340.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