NOMAD - A blackbox optimization software
nonlinear control optimization tool
WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (ab...
A Bundle Adjustment solver for MatchMove related tasks.
Python interface for OSQP
VISual MAth - an equation solver and visualizer
GLPK for browser & node
A modular sat/smt solver with proof output.
Lp modeler written in Rust
Constraint programming in Rust
Semidefinite programming optimization solver
📦 一个很棒的 clickOutside 库,它解决了 iframe 无法触发 clickOutside ...
A solver to find a solution of the 2D rectangle packing problem by simul...
Program for generating and solving numberlink / flow free puzzles