msakai/nonlinear-optimization
Various iterative algorithms for optimization of nonlinear functions.
Public GitHub Catalog
Discovered Sep 26, 2026
msakai / glpk-maxsat
Max-SAT frontend for GLPK
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#7984562GitHub System ID
msakaiOrganization / User
PublicVisibility
ActiveCatalog Status
More from msakai
msakai/probSAT
The probSAT SAT Solver
msakai/lamp
http://a-terada.github.com/lamp/
msakai/minlplib2-pb
Pseudo boolean optimization problems converted from MINLPLIB2