{"id":36774,"library":"z3","title":"Z3","description":"High-performance theorem prover. Available on Homebrew and apt.","status":"active","version":"4.15.4","language":"shell","source_language":null,"source_url":null,"tags":[],"install":[{"cmd":"brew install z3"},{"cmd":"apt install z3"}],"dependencies":[],"imports":[],"quickstart":null,"warnings":[],"env_vars":null,"search_vec":"'apt':11 'avail':7 'high':3 'high-perform':2 'homebrew':9 'perform':4 'prover':6 'theorem':5 'z3':1","created_at":"2026-05-31T15:41:21.905728+00:00","updated_at":"2026-05-31T15:41:21.905728+00:00","problems":[],"ecosystem":"pypi","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"cli","homepage":"https://github.com/Z3Prover/z3","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["devops"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":null,"next_check":null,"install_tag":"reviewed"}}