+++
date = 2024-02-02T04:14:54-08:00
draft = false
title = 'Z3 Theorem Prover'
weight = 10
purposes = ['test']
techniques = ['aaa']
domains = ['tttt']
languages = ['tttt']
systems = ['tttt']
interactions = ['lorem ipsum', 'aranpoasi']
formalisms = ['tttt']
developers = ['test dev']
links = [
  { title = "website", url = "https://github.com/Z3Prover/z3" },
  { title = "code", url = "https://github.com/Z3Prover/z3" },
  { title = "playground", url = "https://rise4fun.com/z3" }
]
publications = ['Taylor2023']
+++

desc