8 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	b4bbe12ca1	set kernel to 3 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-11 10:41:51 -07:00
Nikolaj Bjorner	b4daf8dcd8	adding advanced port ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-10 12:33:20 -07:00
Nikolaj Bjorner	9f426443ca	saving strategies tutorial from notebooks.azure.com ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-10 10:30:11 -07:00
Nikolaj Bjorner	6cd7169665	readme and link ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-09 11:10:35 -07:00
Nikolaj Bjorner	2861b10d58	update ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-08 09:26:15 -07:00
Nikolaj Bjorner	08528b3526	ported guide ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-08 09:20:55 -07:00
Nikolaj Bjorner	36e03db0f3	png ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-07 19:29:14 -07:00
Nikolaj Bjorner	e0a49dd556	html pages for z3 python tutorial ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-07 19:14:54 -07:00