12 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	dd46224a1d	use structured proof hints ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2022-05-28 09:37:41 -07:00
Nikolaj Bjorner	a1b036a4fa	Update README.md	2021-04-25 17:02:34 -07:00
Nikolaj Bjorner	3ff5d4226a	Update README.md	2021-04-25 16:59:53 -07:00
Bruce Mitchener	0edd587e5a	Fix typos in examples.	2019-08-14 22:00:50 -07:00
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