[tlaplus] TLAPS release 1.4.4

From: Damien Doligez <damien.doligez@xxxxxxxx>

Date: Tue, 11 Feb 2020 14:58:10 +0100

Dear TLA+ users, It is my pleasure to announce the release of TLAPM (the TLA+ Proof Manager) version 1.4.4. This release fixes a few soundness bugs and switches the default SMT back-end to Z3 (instead of CVC4). It is available at https://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries.html and https://github.com/tlaplus/v1-tlapm/releases/tag/v1.4.4 -- Damien Doligez -- You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6FB71C59-112D-46B1-B75B-2B2491ADA20D%40inria.fr.