bazk/hwsat
Reconfigurable Hardware SAT Solver
Assignment for AI course
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Reconfigurable Hardware SAT Solver
Public repository.
Red-black Gauss-Seidel (RBGS) method for solving differential equations (using OpenMP)
CookieBot for twitch.tv IRC chat