7 commits

Author	SHA1	Message	Date
Ken McMillan	de7a675afa	a mistake	2013-06-05 18:02:07 -07:00
Ken McMillan	389c2018df	working on duality	2013-05-03 17:30:07 -07:00
Ken McMillan	8488ca24d2	first commit of duality	2013-04-20 18:18:45 -07:00
U-REDMOND\kenmcmil	28266786f3	porting to windows	2013-03-27 12:17:52 -07:00
Leonardo de Moura	ead762e0d0	bumped version number ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-11-14 09:02:53 -08:00
Leonardo de Moura	99b7f7509d	bump version number in unstable branch ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-11-11 10:50:24 -08:00
Leonardo de Moura	a274cac2a0	bindings --> api; and moved nlsat/sat/subpaving tactics	2012-10-31 13:25:36 -07:00