psaikko/LMHS
A SAT-IP Hybrid MaxSAT solver
Developer Profile
psaikko
Discovered public repositories for psaikko in the GitHub catalog.
psaikko/java-sudoku
Sudoku solver with solution visualization
psaikko/java-chess
Java chess game and AI
psaikko/hwo-2014
HWO 2014 submission
psaikko/interpreter-project
Interpreter for the mini-PL toy language for university compilers course
psaikko/string-algorithms-project
Java implementations of multiple-exact-string-matching algorithms
psaikko/asteroids
Asteroids game implemented in javascript
psaikko/tsoha-k11p4-sinatra
Tietokantasovellus