OKullmann/Adam
Dissertation
Developer Profile
OKullmann
Discovered public repositories for OKullmann in the GitHub catalog.
OKullmann/Model-Checking
Public repository.
OKullmann/Cpp11Exploration
Public repository.
OKullmann/Machine-Learning
My First Project
OKullmann/pokergame
poker from java to C++
OKullmann/Dissertation_Sudoku
Public repository.
OKullmann/CPU-Frequency-Utility
Some changes/improvements to the "CFU" tool by jdmcdaniel3 from OpenSuse.
OKullmann/CS-242-Algorithms
Programs for algorithms module
OKullmann/sat-2009-internetsite
All the material which goes on the internet.
OKullmann/oklibrary
A research platform and active library for generalised SAT solving