Index of /~bang/cs181u/materials/z3examples

	Name	Last modified	Size	Description
	Parent Directory		-
	fruit.py	2023-04-20 08:39	319
	multiple-choice.py	2023-04-20 08:39	639
	smc.py	2023-04-20 08:39	657
	z3_intro.py	2023-04-20 08:39	671
	crime.py	2023-04-20 08:39	929
	zebra.py	2023-04-20 08:39	4.0K