Removed last z3 mention from docs#335

jmafoster1 merged 3 commits intomainCITCOM-project/CausalTestingFramework:mainfrom

jmafoster1/removed-last-z3-mentionCITCOM-project/CausalTestingFramework:jmafoster1/removed-last-z3-mentionCopy head branch name to clipboard