diff --git a/index.html b/index.html index dea0935..e82051a 100644 --- a/index.html +++ b/index.html @@ -55,6 +55,7 @@

Prior Meetings

03/08/24: Bitwuzla: A New SMT Solver For Bit-Precise Reasoning, Mathias Preiner + [VIDEO]