-
Swansea University
- http://www.cs.swan.ac.uk/~csoliver/
Stars
My First Project
OKullmann / pokergame
Forked from ceri-de-lloyd/pokergamepoker from java to C++
Some changes/improvements to the "CFU" tool by jdmcdaniel3 from OpenSuse.
All the material which goes on the internet.
A research platform and active library for generalised SAT solving