|
Julia |
11 |
Fast and simple nonlinear solvers for the SciML common interface |
Nov 24, 2022 |
|
Julia |
109 |
Julia interface to the Ipopt nonlinear solver |
Jul 27, 2022 |
|
Julia |
11 |
Interface to DASKR, a differential algebraic system solver for the SciML scientific machine learning ecosystem |
Mar 01, 2022 |
|
Julia |
55 |
A solver for nonlinear programming |
Jun 08, 2022 |
|
Julia |
4 |
A solver for nonlinear programming |
Jun 14, 2022 |
|
Julia |
2 |
Sequential solver for nonlinear optimization |
Apr 18, 2023 |
|
Julia |
7 |
Wrappers for GeometricIntegrators.jl into the SciML common interface for scientific machine learning (SciML) |
Dec 03, 2021 |
|
Julia |
163 |
Julia interface to Sundials, including a nonlinear solver (KINSOL), ODE's (CVODE and ARKODE), and DAE's … |
Jun 28, 2022 |
|
C++ |
154 |
HPC solver for nonlinear optimization problems |
Aug 08, 2022 |
|
Julia |
17 |
Common interface bindings for the MATLAB ODE solvers via MATLAB.jl for the SciML Scientific Machine … |
Apr 20, 2022 |
|
Julia |
58 |
The Base interface of the SciML ecosystem |
Aug 18, 2022 |
|
Julia |
2 |
Wrappers for MINPACK into the SciML Common Interface |
Dec 04, 2022 |
|
C++ |
3 |
A numerical solver for nonlinear Schrödinger equations |
Feb 12, 2022 |
|
Julia |
15 |
Julia wrapper for the BARON mixed-integer nonlinear programming solver |
Apr 30, 2022 |
|
Go |
27 |
Bindings for the Z3 SMT solver |
Apr 30, 2023 |
|
Fortran |
21 |
Nonlinear Equation Solver with Modern Fortran |
Aug 08, 2022 |
|
C++ |
66 |
A solver for mixed-integer nonlinear optimization problems |
Aug 05, 2022 |
|
Prolog |
6 |
Constraint solver for nonlinear (polynomial) constraints over reals |
May 05, 2020 |
|
Python |
12 |
A derivative-free solver for general nonlinear optimization. |
Apr 26, 2023 |
|
C++ |
3 |
Racket bindings for the Rhea constraint solver |
Mar 20, 2017 |
|
C |
14 |
Elixir + Erlang bindings for the PicoSAT solver |
Apr 06, 2022 |
|
TypeScript |
2 |
Node.js bindings for the HiGHS optimization solver |
Mar 22, 2023 |
|
Haskell |
4 |
Haskell bindings for the Boolector SMT solver |
Aug 18, 2020 |
|
Rust |
2 |
Rust bindings for the Kissat SAT Solver |
Oct 23, 2023 |
|
Julia |
156 |
A JuMP-based Nonlinear Integer Program Solver |
Aug 16, 2022 |
|
C++ |
28 |
Unsteady Nonlinear Potential Flow Solver for Ship-Wave Interaction -- |
Mar 24, 2023 |
|
MATLAB |
14 |
MIPS – MATPOWER Interior Point Solver for nonlinear optimization problems. |
May 03, 2023 |
|
Rust |
10 |
Rust bindings for Ceres Solver |
Apr 30, 2023 |
|
C |
16 |
Haskell bindings for PicoSAT solver |
Jul 07, 2022 |
|
C |
15 |
Go (golang) bindings for Picosat, the satisfiability solver |
Sep 07, 2021 |
|
Julia |
4 |
An Open Nonlinear Structural Analysis Solver in Julia |
Apr 19, 2023 |
|
C++ |
9 |
SQPhotstart: A Sequential Quadratic Programming Solver for Constrained Nonlinear Optimization |
May 20, 2022 |
|
MATLAB |
19 |
A solver for nonlinear, dynamic, stochastic, rational expectations equilibrium models |
May 15, 2023 |
|
C++ |
30 |
Eigen interface for the OOQP solver library |
Aug 10, 2022 |
|
Julia |
23 |
Julia bindings to the SAT solver picosat |
Nov 16, 2021 |
|
Rust |
8 |
Safe high-level bindings for the Boolector SMT solver |
Nov 17, 2022 |
|
C++ |
4 |
Muriqui Optimizer - A convex mixed integer nonlinear programming solver |
Jan 21, 2022 |
|
MATLAB |
27 |
An Open Nonlinear Structural Analysis Solver for GNU-Octave or Matlab |
Jul 21, 2022 |
|
C++ |
45 |
Open Solver Interface |
Jul 01, 2022 |
|
Ruby |
4 |
Ruby bindings for the Hyperledger interface. |
Aug 08, 2017 |
|
Julia |
2 |
Julia interface for the Quadratic Programming solver DAQP |
Aug 11, 2022 |
|
Go |
113 |
Go (golang) bindings to the Z3 SMT Solver |
Aug 15, 2022 |
|
Rust |
11 |
Safe rust bindings to the Highs MILP Solver. |
Feb 20, 2023 |
|
Ruby |
56 |
Ruby bindings for Z3 constraint solver library |
Dec 15, 2022 |
|
C++ |
42 |
Python bindings for ceres-solver (via Cython) |
Mar 09, 2023 |
|
Julia |
114 |
A common interface for quadrature and numerical integration for the SciML scientific machine learning organization |
Aug 08, 2022 |
|
Julia |
54 |
Julia interface to the Artelys Knitro solver |
Jul 28, 2022 |
|
Julia |
15 |
A Julia interface to the PATH solver |
Mar 01, 2023 |
|
Julia |
44 |
Julia interface for OSQP: The Operator Splitting QP Solver |
Jun 30, 2022 |
|
C++ |
142 |
A C++ interface for the OSQP quadratic programming solver. |
Aug 03, 2022 |