From 698698bb410f83166ea343c9b41028fece811627 Mon Sep 17 00:00:00 2001 From: Christoph Jabs Date: Mon, 14 Oct 2024 15:19:38 +0300 Subject: [PATCH] fixup! feat(kissat): support version 4.0.1 --- kissat/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/kissat/README.md b/kissat/README.md index 5fd04177..beedd70c 100644 --- a/kissat/README.md +++ b/kissat/README.md @@ -21,6 +21,7 @@ Armin Biere's SAT solver [Kissat](https://github.com/arminbiere/kissat) to be us Kissat versions can be selected via cargo crate features. The following Kissat versions are available: +- `v4-0-1`: [Version 4.0.1](https://github.com/arminbiere/kissat/releases/tag/rel-4.0.1) - `v4-0-0`: [Version 4.0.0](https://github.com/arminbiere/kissat/releases/tag/rel-4.0.0) - `v3-1-0`: [Version 3.1.0](https://github.com/arminbiere/kissat/releases/tag/rel-3.1.0) - `v3-0-0`: [Version 3.0.0](https://github.com/arminbiere/kissat/releases/tag/rel-3.0.0)