honours/impl/systems/1, branch master

honours/impl/systems/1, branch master My honours project from 2012. http://onix.zancanaro.id.au/Archive/honours/atom?h=master 2012-10-15T06:11:14Z Some bug fixes for the solver. 2012-10-15T06:11:14Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-10-15T06:11:14Z urn:sha1:697c1c0cd3815eee72b3eedb874fe0e044a69432 Still doesn't work in clang, though. Remove exceptions and C++11 features for LLVM. 2012-09-20T05:19:49Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-09-20T05:19:49Z urn:sha1:bb9a899b7c45b830c6b70e2811130a41ebb31ee5