3 Commits (b60c5e3ab54f303e35e99535d0744d652698efa2)

Author	SHA1	Message	Date
Richard Roberts	67f70c37b5	Factored out symbolic elimination into a templated function	2013-11-18 19:23:13 +00:00
Richard Roberts	bd89c5fd45	Using FastVector (with tbb allocator) instead of vector	2013-08-15 17:21:20 +00:00
Richard Roberts	3ade190128	Renamed old classes to "Ordered" and removed "Unordered" name from new classes	2013-07-29 23:55:40 +00:00