(no commit message)

diff --git a/resources.mdwn b/resources.mdwn
index 877d1a360203a189f27b7c6fca076ce8953103a1..aa08eeed2b43b85e923c51da2445635289be27e3 100644 (file)
--- 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/>