Jump to content

Z3 Theorem Prover: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 03:3503:35, 21 April 2024‎ MrOllie talk contribs‎ 6,357 bytes −85‎ Reverted 1 edit by Yurichev (talk): COI / spam undo Tags: Twinkle Undo
curprev 03:2603:26, 21 April 2024‎ Yurichev talk contribs‎ 6,442 bytes +85‎ No edit summary undo Tag: Reverted

curprev 15:4715:47, 18 April 2024‎ MrOllie talk contribs‎ 6,357 bytes −94‎ rm personal site per WP:ELNO undo

curprev 22:1422:14, 6 December 2023‎ Mark viking talk contribs‎ 6,451 bytes +67‎ Adding local short description: "Software for solving satisfiability problems", overriding Wikidata description "software for solving satisfiability modulo theories" undo Tag: Shortdesc helper

curprev 09:4809:48, 20 October 2023‎ Jerryobject talk contribs‎ m 6,384 bytes −15‎ →‎Overview: WP:LINK: update-standardize, needless WP:PIPE > WP:NOPIPE. undo

curprev 13:5313:53, 29 September 2023‎ 92.40.217.2 talk‎ 6,399 bytes +38‎ No edit summary undo

curprev 05:1305:13, 5 June 2023‎ User-duck talk contribs‎ 6,361 bytes +21‎ Cite CE. undo

curprev 09:2809:28, 20 May 2023‎ 2001:1711:fa46:bd00:1981:672b:ad78:47a0 talk‎ 6,425 bytes +42‎ Adding Eiffel (see http://autoproof.sit.org) undo

curprev 15:3015:30, 21 July 2022‎ Caleb Stanford talk contribs‎ 6,383 bytes −5‎ Better link. See WP:NOTBROKEN undo Tag: 2017 wikitext editor
curprev 08:4108:41, 21 July 2022‎ Ghettoblaster talk contribs‎ m 6,388 bytes +12‎ No edit summary undo

curprev 13:1313:13, 17 May 2022‎ GoingBatty talk contribs‎ 6,376 bytes +28‎ →‎Overview: bad link repair, replaced: Rust → Rust undo Tag: AWB

curprev 18:4418:44, 16 May 2022‎ 141.113.171.11 talk‎ 6,348 bytes +31‎ Added info to Rust (crates.io/z3) bindings, WASM and arm64 as platforms undo Tag: Disambiguation links added

curprev 13:2113:21, 3 May 2022‎ Caleb Stanford talk contribs‎ 6,317 bytes +57‎ →‎External links: replace rise4fun with current playground undo Tag: 2017 wikitext editor
curprev 10:5510:55, 3 May 2022‎ Phrygas talk contribs‎ 6,260 bytes −57‎ Dead link undo

curprev 18:4818:48, 12 April 2022‎ Caleb Stanford talk contribs‎ 6,317 bytes −1‎ →‎Overview: correct red link undo Tag: 2017 wikitext editor
curprev 18:4818:48, 12 April 2022‎ Caleb Stanford talk contribs‎ 6,318 bytes −4‎ rv nonexistent link -- good-faith revision 1082227559 by TeraSibune (talk) undo Tag: Undo
curprev 01:0301:03, 12 April 2022‎ TeraSibune talk contribs‎ m 6,322 bytes +4‎ added link undo Tags: Reverted Visual edit

curprev 16:4616:46, 15 March 2022‎ Palosirkka talk contribs‎ 6,318 bytes −114‎ release info from Wikidata undo

curprev 20:0420:04, 16 February 2022‎ InternetArchiveBot talk contribs‎ 6,432 bytes +214‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8.6) (BrownHairedGirl - 9493 undo

curprev 01:1201:12, 15 February 2022‎ Ghettoblaster talk contribs‎ m 6,218 bytes 0‎ No edit summary undo

curprev 13:3613:36, 12 February 2022‎ BrownHairedGirl talk contribs‎ 6,218 bytes +33‎ {{Dead link}} tag on bare URL refs which return HTTP 404 or 410 undo Tag: AWB

curprev 22:3622:36, 31 October 2021‎ Caleb Stanford talk contribs‎ 6,185 bytes +29‎ clarify name undo Tag: 2017 wikitext editor

curprev 21:2821:28, 28 October 2021‎ Citation bot talk contribs‎ 6,156 bytes +58‎ Add: title. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 596/648 undo

curprev 15:1915:19, 12 October 2021‎ Gannett talk contribs‎ 6,098 bytes +379‎ →‎Further reading undo Tag: Manual revert
curprev 15:1815:18, 12 October 2021‎ Gannett talk contribs‎ m 5,719 bytes −379‎ →‎Further reading undo Tags: Manual revert Reverted
curprev 15:1715:17, 12 October 2021‎ Gannett talk contribs‎ 6,098 bytes +379‎ →‎Further reading undo Tag: Reverted

curprev 06:5806:58, 30 July 2021‎ 172.119.80.62 talk‎ 5,719 bytes +40‎ →‎Overview undo

curprev 15:5215:52, 25 July 2021‎ Ghettoblaster talk contribs‎ m 5,679 bytes 0‎ No edit summary undo

curprev 17:3617:36, 2 June 2021‎ Hellacioussatyr talk contribs‎ m 5,679 bytes +2‎ →‎Propositional and predicate logic: \and and \or deprecated in favor of \land and \lor undo Tag: 2017 wikitext editor

curprev 13:3613:36, 1 June 2021‎ 2003:d6:370c:9200:50fe:338e:ffa5:5200 talk‎ 5,677 bytes +37‎ →‎Propositional and predicate logic undo

curprev 22:2022:20, 28 January 2021‎ LiberatorG talk contribs‎ 5,640 bytes +65‎ version 4.8.10 released undo

curprev 07:0307:03, 4 October 2020‎ I dream of horses talk contribs‎ m 5,575 bytes −56‎ AWB clean up patrol, removed stub tag undo Tag: AWB

curprev 19:5519:55, 13 September 2020‎ Ghettoblaster talk contribs‎ m 5,631 bytes +2‎ No edit summary undo

curprev 03:5303:53, 31 August 2020‎ Bcc32 talk contribs‎ 5,629 bytes +218‎ Fixed the first example script to actually prove the proposition for all a and b, not just that it can be satisfied by some a and b. undo

curprev 16:0516:05, 31 May 2020‎ Ghettoblaster talk contribs‎ m 5,411 bytes 0‎ No edit summary undo

curprev 18:5818:58, 14 April 2020‎ 0xd34df00d talk contribs‎ 5,411 bytes +44‎ →‎Overview: mention haskell bindings too undo

curprev 12:4212:42, 29 March 2020‎ 93.75.21.51 talk‎ 5,367 bytes +127‎ →‎Further reading undo

curprev 23:2323:23, 19 March 2020‎ Ghettoblaster talk contribs‎ m 5,240 bytes +27‎ →‎External links undo

curprev 18:0418:04, 26 January 2020‎ Citation bot talk contribs‎ m 5,213 bytes −2‎ Alter: title, pages. Formatted dashes. | You can use this bot yourself. Report bugs here. | Activated by User:Neko-chan | Category:Free software programmed in C++ | via #UCB_Category undo

curprev 23:5523:55, 5 January 2020‎ Ghettoblaster talk contribs‎ m 5,215 bytes +19‎ No edit summary undo

curprev 04:0004:00, 4 January 2020‎ 24.23.248.95 talk‎ 5,196 bytes −5‎ →‎Overview: Fix tenses undo Tags: Mobile edit Mobile web edit

curprev 14:4014:40, 21 December 2019‎ Ghettoblaster talk contribs‎ 5,201 bytes +244‎ →‎Overview undo
curprev 14:1514:15, 21 December 2019‎ Ghettoblaster talk contribs‎ 4,957 bytes +471‎ →‎Overview undo

curprev 22:3922:39, 4 December 2019‎ Ghettoblaster talk contribs‎ m 4,486 bytes +31‎ No edit summary undo

Retrieved from "https://en.wikipedia.org/wiki/Z3_Theorem_Prover"