ABAU is a project responsible for creating CO4 - a constraint solver for constraints written in a syntactically subset of Haskell, Dilay - a 3D sculpting application and cppsat - a library for generating propositional encodings in C++11. Visit webiste >
