4 Commits

Author	SHA1	Message	Date
Alex Birkett	837748cb5b	Fix inequality bugs	2016-01-31 13:02:58 +01:00
yongsunCN	c787873a2e	completed the porting from c++ code, also fixed one or two errors that might be introduced during the original porting.	2016-01-18 13:36:30 -05:00
Alex Birkett	dba84c5957	Added real world tests (not passing)	2015-02-01 22:07:32 +01:00
Alex Birkett	76014e1903	Added Symbolics class ... Some tests now passing!	2015-02-01 20:45:20 +01:00