fixup! feat(kissat): support version 4.0.1

chrjabs · Oct 14, 2024 · 698698b · 698698b
1 parent 74d1c7f
commit 698698b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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)