timfel/babelsberg-r — pull request #2 by timfel (2014-07-29 07:49:12+00:00)
Title: Z3 finite domains

... to remember