Z3 Theorem Prover (Q85816952)
Jump to navigation
Jump to search
software for solving satisfiability modulo theories
- Z3
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Z3 Theorem Prover |
software for solving satisfiability modulo theories |
|
Statements
1 reference
12 January 2022
1 reference
12 January 2022
1 reference
12 January 2022
1 reference
12 January 2022
4.8.10
20 January 2021
1 reference
20 January 2021
28 January 2021
4.1.1
13 April 2015
1 reference
29 January 2021
Release 4.1.1 (English)
13 April 2015
4.3.0
13 April 2015
1 reference
29 January 2021
Release 4.3.0 (English)
13 April 2015
4.3.1
13 April 2015
1 reference
29 January 2021
Release 4.3.1 (English)
13 April 2015
4.3.2
13 April 2015
1 reference
29 January 2021
Release 4.3.2 (English)
13 April 2015
4.4.0
29 April 2015
1 reference
29 January 2021
Release 4.4.0 (English)
29 April 2015
4.4.1
5 October 2015
1 reference
29 January 2021
Release 4.4.1 (English)
5 October 2015
4.5.0
7 November 2016
1 reference
29 January 2021
Release 4.5.0 (English)
7 November 2016
4.6.0
18 December 2017
1 reference
29 January 2021
Release 4.6.0 (English)
18 December 2017
4.7.1
22 May 2018
1 reference
29 January 2021
Release 4.7.1 (English)
22 May 2018
4.8.1
15 October 2018
1 reference
29 January 2021
Release 4.8.1 (English)
15 October 2018
4.8.3
19 November 2018
1 reference
29 January 2021
Release 4.8.3 (English)
19 November 2018
4.8.4
20 December 2018
1 reference
29 January 2021
Release 4.8.4 (English)
20 December 2018
4.8.5
3 June 2019
1 reference
29 January 2021
Release 4.8.5 (English)
3 June 2019
4.8.6
20 September 2019
1 reference
29 January 2021
Release 4.8.6 (English)
20 September 2019
4.8.7
19 November 2019
1 reference
29 January 2021
Release 4.8.7 (English)
19 November 2019
4.8.8
8 May 2020
1 reference
29 January 2021
Release 4.8.8 (English)
8 May 2020
4.8.9
10 September 2020
1 reference
29 January 2021
Release 4.8.9 (English)
10 September 2020
4.8.11
11 July 2021
1 reference
12 January 2022
Release 4.8.11 (English)
11 July 2021
4.8.12
13 July 2021
1 reference
12 January 2022
Release 4.8.12 (English)
13 July 2021
4.8.13
18 November 2021
1 reference
12 January 2022
Release 4.8.13 (English)
18 November 2021
4.8.14
23 December 2021
1 reference
12 January 2022
Release 4.8.14 (English)
23 December 2021
4.8.15
20 March 2022
1 reference
24 March 2022
Release z3-4.8.15 (English)
20 March 2022
4.8.16
24 April 2022
1 reference
7 May 2022
Release z3-4.8.16 (English)
24 April 2022
4.8.17
5 May 2022
1 reference
7 May 2022
Release z3-4.8.17 (English)
5 May 2022
4.9.0
6 July 2022
1 reference
5 August 2022
Release z3-4.9.0 (English)
6 July 2022
4.9.1
6 July 2022
1 reference
5 August 2022
Release z3-4.9.1 (English)
6 July 2022
4.10.0
22 July 2022
1 reference
5 August 2022
Release z3-4.10.0 (English)
22 July 2022
4.10.1
22 July 2022
1 reference
5 August 2022
Release z3-4.10.1 (English)
22 July 2022
4.10.2
30 July 2022
1 reference
Release z3-4.10.2 (English)
5 August 2022
30 July 2022
4.11.0
18 August 2022
1 reference
24 October 2022
Release 4.11.0 (English)
18 August 2022
4.11.2
4 September 2022
1 reference
24 October 2022
Release 4.11.2 (English)
4 September 2022
4.12.0
14 January 2023
1 reference
15 January 2023
Release 4.12.0 (English)
14 January 2023
4.12.1
18 January 2023
1 reference
16 February 2023
Release 4.12.1 (English)
18 January 2023
4.12.2
12 May 2023
1 reference
4 June 2023
Release 4.12.2 (English)
12 May 2023
4.12.3
5 December 2023
1 reference
19 December 2023
Release 4.12.3 (English)
5 December 2023
4.12.4
6 December 2023
1 reference
19 December 2023
Release 4.12.4 (English)
6 December 2023
4.12.5
21 January 2024
1 reference
20 February 2024
Release 4.12.5 (English)
21 January 2024
4.12.6
25 February 2024
1 reference
26 March 2024
Release 4.12.6 (English)
25 February 2024
4.13.0
7 March 2024
1 reference
26 March 2024
Release 4.13.0 (English)
7 March 2024
1 reference
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Z3 Theorem Prover
- ukwiki Z3 Theorem Prover