GitHub - DvonHolten/z3-hacks: examples for Z3 expressions

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
Rmem_Rdup_Proof.z3		Rmem_Rdup_Proof.z3
alpha_conversion_proof.z3		alpha_conversion_proof.z3
bank_account.z3		bank_account.z3
cheryl.z3		cheryl.z3
concat_unsat_core.z3		concat_unsat_core.z3
concat_unsat_core2.z3		concat_unsat_core2.z3
higher_order_encodings.z3		higher_order_encodings.z3
int-loop-inv.z3		int-loop-inv.z3
interpolant_quantifiers.z3		interpolant_quantifiers.z3
interpolant_rmem.z3		interpolant_rmem.z3
interpolants_are_useless.z3		interpolants_are_useless.z3
kc-sat-known.z3		kc-sat-known.z3
map_axioms.z3		map_axioms.z3
param_rel_inst_equiv.z3		param_rel_inst_equiv.z3
param_rel_simple_infer.z3		param_rel_simple_infer.z3
plus-inv.z3		plus-inv.z3
quelea-ba-eg.z3		quelea-ba-eg.z3
quelea-inference.z3		quelea-inference.z3
rosette_unsat_core.z3		rosette_unsat_core.z3
save.z3		save.z3
ssnimp-ba-eg.z3		ssnimp-ba-eg.z3
ssnimp-ba-eg2.z3		ssnimp-ba-eg2.z3
test.z3		test.z3
z3_bst_min.z3		z3_bst_min.z3
z3_epr_sortedlist.z3		z3_epr_sortedlist.z3
z3_if-then-bool.z3		z3_if-then-bool.z3
z3_reverse_proof.z3		z3_reverse_proof.z3
z3_set.z3		z3_set.z3
z3_set_pair.z3		z3_set_pair.z3
z3_set_quantifiers.z3		z3_set_quantifiers.z3
z3_sets_as_predicates.z3		z3_sets_as_predicates.z3
z3_unsat_core_quantifiers.z3		z3_unsat_core_quantifiers.z3