honours - My honours project from 2012.

Age	Commit message (Collapse)	Author
2012-10-26	Try to make the correct solver into a local solver	Carlo Zancanaro
	As far as I can tell, it's worked! Hooray!
2012-07-09	Fixed up the newer strategy iteration stuff	Carlo Zancanaro
	Trivial 100000 var case in 15s on my Uni machine.
2012-07-05	Change the set to use a std::set for now	Carlo Zancanaro
	This should perform better in cases where we have smaller sets.
2012-07-02	Dependency-aware smart fixpoint.	Carlo Zancanaro
	Slows it down heaps for the moment. Still need to add the MaxStrategy part, which should speed it up a fair bit. At the moment it has to do a fair bit more work for no benefit.
2012-06-29	Speed up IdSet a bit. I think.	Carlo Zancanaro

2012-06-15	Re-write heaps of code to work better.	Carlo Zancanaro

2012-05-28	Fix memory error and x = max(-inf, expr) stuff.	Carlo Zancanaro