ahmadyan/Duplex
High performance optimization algorithm for nonconvex systems based on random tree search
Public GitHub Catalog
Discovered Sep 28, 2026
ahmadyan / minisat
A minimalistic and high-performance SAT solver
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.
#12419276GitHub System ID
ahmadyanOrganization / User
PublicVisibility
ActiveCatalog Status
More from ahmadyan
ahmadyan/ser
Analytical tool to analyze soft error rate in hardware circuits
ahmadyan/gnu-gsl.win.binary
Header files and Binaries for GnuGSL package for windows version 1.16
ahmadyan/gnu-gsl-for-windows
Fork of Brian Gladman's Gnu GSL package for windows, version 1.16