From aea768266a8f38543956374b7755b32677ac74e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= <soelvsten@proton.me>
Date: Tue, 19 Mar 2024 11:24:11 +0100
Subject: [PATCH] Update link to CAL

The previous link for CAL was dead (and the obtainable code requires
some work to get build and run on modern systems. Now it links to
a revived version (and minimally maintained) version of this library.
---
 bdd.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bdd.md b/bdd.md
index abb9048..60ce42b 100644
--- a/bdd.md
+++ b/bdd.md
@@ -109,7 +109,7 @@
         - Ruby-BDD
     - C\#
         - BuDDySharp
-- [Cal BDD](http://embedded.eecs.berkeley.edu/Research/cal_bdd/) (BSD): (UC Berkeley)
+- [Cal BDD](https://github.com/ssoelvsten/cal) (BSD): (UC Berkeley)
 - [ABCD](http://fmv.jku.at/abcd/) (?): (JKU)
 - [CMU BDD](https://www.cs.cmu.edu/afs/cs/project/modck/pub/www/bdd.html): (CMU)
     - hBDD