solvers

THIS MIRROR IS DEPRECATED -- New url: https://gitlab.com/libeigen/eigen

Fast and flexible physics-based battery models in Python

#大语言模型#RAFT contains fundamental widely-used algorithms and primitives for machine learning and information retrieval. The algorithms are CUDA-accelerated and form building blocks for more easily writing hig...

a lightweight header-only C++17 library of numerical optimization methods for (un-)constrained nonlinear functions and expression templates

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

Solvers for stochastic differential equations which connect with the scientific machine learning (SciML) ecosystem

Clapeyron provides a framework for the development and use of fluid-thermodynamic models, including SAFT, cubic, activity, multi-parameter, and COSMO-SAC.

Fatrop is a nonlinear optimal control problem solver that aims to be fast, support a broad class of optimal control problems and achieve a high numerical robustness.

Ptera Software is a fast, easy-to-use, and open-source software package for analyzing flapping-wing flight.

Simulation framework for nonsmooth dynamical systems

Library for VLSI CAD Design Useful parsers and solvers' api are implemented.

Polyglot solutions for www.projecteuler.net mathematical challenges

Benchmark for quadratic programming solvers available in Python

This is a Julia package of nonlinear solvers. These codes are used in my book, Solving Nonlinear Equations with Iterative Methods: Solvers and Examples in Julia.

#算法刷题#An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers

#计算机科学#NASOQ:Numerically Accurate Sparsity Oriented QP Solver

Constraint Satisfaction Problem Solver for Golang

Delay differential equation (DDE) solvers in Julia for the SciML scientific machine learning ecosystem. Covers neutral and retarded delay differential equations, and differential-algebraic equations.

Easy-to-use linear and non-linear solver

#计算机科学#Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.