4 commits

Author	SHA1	Message	Date
Leonardo de Moura	78e9a57e06	feat(api): add total orders for lean_name, lean_univ and lean_expr APIs	2015-08-23 19:42:22 -07:00
Leonardo de Moura	62e396bec6	test(tests/shared): add some tests for lean_expr C API	2015-08-22 11:08:07 -07:00
Leonardo de Moura	9bae1eee29	feat(api/univ): add lean_list_univ API	2015-08-21 15:25:12 -07:00
Leonardo de Moura	d627414f9b	feat(api): expose universe expressions in the C API	2015-08-18 15:07:44 -07:00