Welcome to abau.org!
This is the personal website of Alexander Bau – author of the following software:
CO4 – a constraint solver for constraints written in a syntactically subset of Haskell
Dilay – a 3D sculpting application
Cppsat – a library for generating propositional encodings in C++11
Stubai – a script for plotting GPX tracks using MapQuest’s OpenStreetMap API
Hannah – a DSL for parsing and generating files and network traces