From 29aca3237588221e2608ee85592163a8d953fea2 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sun, 21 Nov 2021 15:05:20 +0000
Subject: [PATCH]

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

diff --git a/resources.mdwn b/resources.mdwn
index 877d1a360..aa08eeed2 100644
--- a/resources.mdwn
+++ b/resources.mdwn
@@ -220,6 +220,11 @@ see [[conferences]]
 Note: The rest of LIP6's website is in French, but there is a UK flag
 in the corner that gives the English version.
 
+# Logical Equivalence and extraction
+
+* NETGEN
+* CVC https://github.com/d-m-bailey/cvc
+
 # Klayout
 
 * KLayout - Layout viewer and editor: <https://www.klayout.de/>
-- 
2.30.2