docu: cargo rdme run

chrjabs · Jul 1, 2024 · a549dda · a549dda
1 parent a1e4498
commit a549dda
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/batsat/README.md b/batsat/README.md
@@ -5,14 +5,12 @@
 
 <!-- cargo-rdme start -->
 
-# rustsat-batsat - Interface to the BatSat SAT Solver for RustSAT
+# rustsat-batsat - Interface to the `BatSat` SAT Solver for `RustSAT`
 
-The BatSat solver to be used with the [RustSAT](https://github.com/chrjabs/rustsat) library.
+Interface to the [BatSat](https://github.com/c-cube/batsat) incremental SAT-Solver to be used with the [RustSAT](https://github.com/chrjabs/rustsat) library.
 
-## Features
+# `BatSat` Version
 
-## BatSat Version
-
-The version of BatSat in this crate is Version 0.5.0.
+The version of `BatSat` in this crate is Version 0.5.0.
 
 <!-- cargo-rdme end -->