psaikko/LMHS
A SAT-IP Hybrid MaxSAT solver
Asteroids game implemented in javascript
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A SAT-IP Hybrid MaxSAT solver
Sudoku solver with solution visualization
Java chess game and AI
HWO 2014 submission