ci: run cargo rdme

chrjabs · Jul 4, 2024 · 80db5aa · 80db5aa
1 parent 3a3bd46
commit 80db5aa
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/batsat/README.md b/batsat/README.md
@@ -5,14 +5,14 @@
 
 <!-- cargo-rdme start -->
 
-# rustsat-batsat - Interface to the `BatSat` SAT Solver for `RustSAT`
+# rustsat-batsat - Interface to the BatSat SAT Solver for RustSAT
 
 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.
 
-`BatSat` is fully implemented in Rust which has advantages in restricted compilation scenarios like WebAssembly.
+BatSat is fully implemented in Rust which has advantages in restricted compilation scenarios like WebAssembly.
 
-# `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 -->