flueke/marabou

This is a clone of an SVN repository at https://svn.physik.uni-muenchen.de/repos/marabou/trunk/marabou. It had been cloned by http://svn2github.com/ , but the service was since closed. Please read a closing note on my blog post: http://piotr.gabryjeluk.pl/blog:closing-svn2github . If you want to continue synchronizing this repo, look at https://git

C++