7 commits

Author	SHA1	Message	Date
Leonardo de Moura	7312f49f88	Fix Visual Studio warnings ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-01-13 09:06:07 -08:00
Leonardo de Moura	4a0b431cf4	Add mk_algebraic method ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-01-10 11:13:21 -08:00
Leonardo de Moura	3ffda25350	Implement add, sub, mul, div, inv, neg ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-01-05 18:43:57 -08:00
Leonardo de Moura	322d355290	Simplify data-structures ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-01-05 11:51:58 -08:00
Leonardo de Moura	1ed275b801	Fix typo ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-01-03 22:08:32 -08:00
Leonardo de Moura	edf62481e9	Add skeleton for the realclosure package ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-01-02 18:08:42 -08:00
Leonardo de Moura	2c464d413d	Reorganizing source code. Created util dir ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-20 10:19:38 -07:00

Renamed from lib/array.h (Browse further)