From 64f16149d9a3e786405e8032457c5fdff609dc5c Mon Sep 17 00:00:00 2001
From: Gabriel Gouvine <gabriel.gouvine_git@m4x.org>
Date: Tue, 2 Jan 2024 10:40:51 +0000
Subject: [PATCH] Rustsat dependency added

---
 Cargo.toml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Cargo.toml b/Cargo.toml
index d0de9a6..4062140 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -16,6 +16,8 @@ categories = ["mathematics", "algorithms"]
 rand = { version = "0.8.5", optional = true }
 # For optimization using Mixed-Integer-Programming
 good_lp = { version = "1.7", features = ["highs"], default-features = false, optional = true }
+rustsat = "0.4.0"
+rustsat-kissat = "0.1.3"
 
 [features]
 default = ["rand"]