From 98ff5c25a52c0696c1f256bcab2c56fa651442e1 Mon Sep 17 00:00:00 2001
From: "colepoirier@1ec9c8c87c85f09e4718cd80e0605065e33975f0"
 <colepoirier@1ec9c8c87c85f09e4718cd80e0605065e33975f0@web>
Date: Thu, 29 Oct 2020 20:49:04 +0000
Subject: [PATCH]

---
 resources.mdwn | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/resources.mdwn b/resources.mdwn
index d7d306eaf..e019de334 100644
--- a/resources.mdwn
+++ b/resources.mdwn
@@ -281,6 +281,8 @@ regards to what we specify.  Of course, it is important to do the formal
 verification as a final step in the development process before we produce
 thousands or millions of silicon.
 
+* Possible way to speed up our solvers for our formal proofs <https://github.com/eth-sri/fastsmt>
+
 Some learning resources I found in the community:
 
 * ZipCPU: <http://zipcpu.com/> ZipCPU provides a comprehensive
-- 
2.30.2