Z3 Theorem Prover (Q85816952)
software for solving satisfiability modulo theories
Language:
Current Data About Z3 Theorem Prover
(P31) (Q341)

(Q111307290)

(P154) Image Provided By https://upload.wikimedia.org/wikipedia/commons/0/01/Z3_Theorem_Prover_Logo_329x329.jpg

(P178) (Q1144725)

(Q102250356)

(Q84844322)

(P275) (Q334661)
(P854) https://github.com/Z3Prover/z3/blob/master/LICENSE.txt
(P813) Thursday, January 28, 2021

(P277) (Q2407)

(P306) (Q1406)
(P854) https://github.com/Z3Prover/z3/wiki#platforms
(P813) Wednesday, January 12, 2022

(Q14116)
(P854) https://github.com/Z3Prover/z3/wiki#platforms
(P813) Wednesday, January 12, 2022

(Q388)
(P854) https://github.com/Z3Prover/z3/wiki#platforms
(P813) Wednesday, January 12, 2022

(Q34236)
(P854) https://github.com/Z3Prover/z3/wiki#platforms
(P813) Wednesday, January 12, 2022

(P348) 4.8.10
(P577) Wednesday, January 20, 2021
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.10
(P577) Wednesday, January 20, 2021
(P813) Thursday, January 28, 2021

4.1.1
(P577) Monday, April 13, 2015
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.1.1
(P813) Friday, January 29, 2021
(P1476) "Release 4.1.1" (language: en)
(P577) Monday, April 13, 2015

4.3.0
(P577) Monday, April 13, 2015
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.3.0
(P813) Friday, January 29, 2021
(P1476) "Release 4.3.0" (language: en)
(P577) Monday, April 13, 2015

4.3.1
(P577) Monday, April 13, 2015
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.3.1
(P813) Friday, January 29, 2021
(P1476) "Release 4.3.1" (language: en)
(P577) Monday, April 13, 2015

4.3.2
(P577) Monday, April 13, 2015
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.3.2
(P813) Friday, January 29, 2021
(P1476) "Release 4.3.2" (language: en)
(P577) Monday, April 13, 2015

4.4.0
(P577) Wednesday, April 29, 2015
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.4.0
(P813) Friday, January 29, 2021
(P1476) "Release 4.4.0" (language: en)
(P577) Wednesday, April 29, 2015

4.4.1
(P577) Monday, October 5, 2015
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.4.1
(P813) Friday, January 29, 2021
(P1476) "Release 4.4.1" (language: en)
(P577) Monday, October 5, 2015

4.5.0
(P577) Monday, November 7, 2016
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.5.0
(P813) Friday, January 29, 2021
(P1476) "Release 4.5.0" (language: en)
(P577) Monday, November 7, 2016

4.6.0
(P577) Monday, December 18, 2017
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.6.0
(P813) Friday, January 29, 2021
(P1476) "Release 4.6.0" (language: en)
(P577) Monday, December 18, 2017

4.7.1
(P577) Tuesday, May 22, 2018
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.7.1
(P813) Friday, January 29, 2021
(P1476) "Release 4.7.1" (language: en)
(P577) Tuesday, May 22, 2018

4.8.1
(P577) Monday, October 15, 2018
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.1
(P813) Friday, January 29, 2021
(P1476) "Release 4.8.1" (language: en)
(P577) Monday, October 15, 2018

4.8.3
(P577) Monday, November 19, 2018
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
(P813) Friday, January 29, 2021
(P1476) "Release 4.8.3" (language: en)
(P577) Monday, November 19, 2018

4.8.4
(P577) Thursday, December 20, 2018
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.4
(P813) Friday, January 29, 2021
(P1476) "Release 4.8.4" (language: en)
(P577) Thursday, December 20, 2018

4.8.5
(P577) Monday, June 3, 2019
(P854) https://github.com/Z3Prover/z3/releases/tag/Z3-4.8.5
(P813) Friday, January 29, 2021
(P1476) "Release 4.8.5" (language: en)
(P577) Monday, June 3, 2019

4.8.6
(P577) Friday, September 20, 2019
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.6
(P813) Friday, January 29, 2021
(P1476) "Release 4.8.6" (language: en)
(P577) Friday, September 20, 2019

4.8.7
(P577) Tuesday, November 19, 2019
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.7
(P813) Friday, January 29, 2021
(P1476) "Release 4.8.7" (language: en)
(P577) Tuesday, November 19, 2019

4.8.8
(P577) Friday, May 8, 2020
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.8
(P813) Friday, January 29, 2021
(P1476) "Release 4.8.8" (language: en)
(P577) Friday, May 8, 2020

4.8.9
(P577) Thursday, September 10, 2020
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.9
(P813) Friday, January 29, 2021
(P1476) "Release 4.8.9" (language: en)
(P577) Thursday, September 10, 2020

4.8.11
(P577) Sunday, July 11, 2021
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.11
(P813) Wednesday, January 12, 2022
(P1476) "Release 4.8.11" (language: en)
(P577) Sunday, July 11, 2021

4.8.12
(P577) Tuesday, July 13, 2021
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.12
(P813) Wednesday, January 12, 2022
(P1476) "Release 4.8.12" (language: en)
(P577) Tuesday, July 13, 2021

4.8.13
(P577) Thursday, November 18, 2021
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.13
(P813) Wednesday, January 12, 2022
(P1476) "Release 4.8.13" (language: en)
(P577) Thursday, November 18, 2021

4.8.14
(P577) Thursday, December 23, 2021
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.14
(P813) Wednesday, January 12, 2022
(P1476) "Release 4.8.14" (language: en)
(P577) Thursday, December 23, 2021

4.8.15
(P577) Sunday, March 20, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.15
(P813) Thursday, March 24, 2022
(P1476) "Release z3-4.8.15" (language: en)
(P577) Sunday, March 20, 2022

4.8.16
(P577) Sunday, April 24, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.16
(P813) Saturday, May 7, 2022
(P1476) "Release z3-4.8.16" (language: en)
(P577) Sunday, April 24, 2022

4.8.17
(P577) Thursday, May 5, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.8.17
(P813) Saturday, May 7, 2022
(P1476) "Release z3-4.8.17" (language: en)
(P577) Thursday, May 5, 2022

4.9.0
(P577) Wednesday, July 6, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.9.0
(P813) Friday, August 5, 2022
(P1476) "Release z3-4.9.0" (language: en)
(P577) Wednesday, July 6, 2022

4.9.1
(P577) Wednesday, July 6, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.9.1
(P813) Friday, August 5, 2022
(P1476) "Release z3-4.9.1" (language: en)
(P577) Wednesday, July 6, 2022

4.10.0
(P577) Friday, July 22, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.10.0
(P813) Friday, August 5, 2022
(P1476) "Release z3-4.10.0" (language: en)
(P577) Friday, July 22, 2022

4.10.1
(P577) Friday, July 22, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.10.1
(P813) Friday, August 5, 2022
(P1476) "Release z3-4.10.1" (language: en)
(P577) Friday, July 22, 2022

4.10.2
(P577) Saturday, July 30, 2022
(P1476) "Release z3-4.10.2" (language: en)
(P813) Friday, August 5, 2022
(P577) Saturday, July 30, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.10.2

4.11.0
(P577) Thursday, August 18, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0
(P813) Monday, October 24, 2022
(P1476) "Release 4.11.0" (language: en)
(P577) Thursday, August 18, 2022

4.11.2
(P577) Sunday, September 4, 2022
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.11.2
(P813) Monday, October 24, 2022
(P1476) "Release 4.11.2" (language: en)
(P577) Sunday, September 4, 2022

4.12.0
(P577) Saturday, January 14, 2023
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.12.0
(P813) Sunday, January 15, 2023
(P1476) "Release 4.12.0" (language: en)
(P577) Saturday, January 14, 2023

4.12.1
(P577) Wednesday, January 18, 2023
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.12.1
(P813) Thursday, February 16, 2023
(P1476) "Release 4.12.1" (language: en)
(P577) Wednesday, January 18, 2023

4.12.2
(P577) Friday, May 12, 2023
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.12.2
(P813) Sunday, June 4, 2023
(P1476) "Release 4.12.2" (language: en)
(P577) Friday, May 12, 2023

4.12.3
(P577) Tuesday, December 5, 2023
(P548)
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.12.3
(P813) Tuesday, December 19, 2023
(P1476) "Release 4.12.3" (language: en)
(P577) Tuesday, December 5, 2023

4.12.4
(P577) Wednesday, December 6, 2023
(P548)
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.12.4
(P813) Tuesday, December 19, 2023
(P1476) "Release 4.12.4" (language: en)
(P577) Wednesday, December 6, 2023

4.12.5
(P577) Sunday, January 21, 2024
(P548)
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.12.5
(P813) Tuesday, February 20, 2024
(P1476) "Release 4.12.5" (language: en)
(P577) Sunday, January 21, 2024

4.12.6
(P577) Sunday, February 25, 2024
(P548)
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.12.6
(P813) Tuesday, March 26, 2024
(P1476) "Release 4.12.6" (language: en)
(P577) Sunday, February 25, 2024

4.13.0
(P577) Thursday, March 7, 2024
(P548)
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.13.0
(P813) Tuesday, March 26, 2024
(P1476) "Release 4.13.0" (language: en)
(P577) Thursday, March 7, 2024

4.13.2
(P577) Friday, September 27, 2024
(P548)
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.13.2
(P813) Sunday, October 27, 2024
(P1476) "Release 4.13.2" (language: en)
(P577) Friday, September 27, 2024

4.13.3
(P577) Friday, October 11, 2024
(P548)
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.13.3
(P813) Sunday, October 27, 2024
(P1476) "Release 4.13.3" (language: en)
(P577) Friday, October 11, 2024

4.13.4
(P577) Tuesday, December 17, 2024
(P548)
(P854) https://github.com/Z3Prover/z3/releases/tag/z3-4.13.4
(P813) Monday, December 30, 2024
(P1476) "Release 4.13.4" (language: en)
(P577) Tuesday, December 17, 2024

(P527) (Q109378749)

(P1324) https://github.com/Z3Prover/z3
(P8423)
(P10627)

(P1889) (Q135843)

(P6216) (Q50423863)

other details
aliases Z3
description software for solving satisfiability modulo theories

External Links
(P2037) Z3Prover
(P2671) /g/11j3r_lybp
(P3442) z3
(P3463) z3
(P3499) sci-mathematics/z3
(P6931) z3
(P8443) z3
(P9128) z3