6 commits

Author	SHA1	Message	Date
Nuno Lopes	73a24ca0a9	remove '#include <iostream>' from headers and from unneeded places ... It's harmful to have iostream everywhere as it injects functions in the compiled files	2022-06-17 14:10:19 +01:00
Nikolaj Bjorner	86b98e3477	remove trc ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-04-17 10:47:46 -07:00
Nikolaj Bjorner	6158ea61c8	fix tree-order, change API for special relations to produce function declarations ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-04-16 00:04:48 -07:00
Nikolaj Bjorner	ae982c5225	add tc and trc functionals for binary relations ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-04-10 04:12:45 +02:00
Nikolaj Bjorner	f55e4ccc41	support indexed relations ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-03-28 07:04:22 -07:00
Nikolaj Bjorner	5536834019	add API ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-03-28 07:04:21 -07:00