From 80db5aab3e76beefdc2076393228735ca0c0c2ab Mon Sep 17 00:00:00 2001 From: Noah Bruns Date: Thu, 4 Jul 2024 09:42:01 +0200 Subject: [PATCH] ci: run cargo rdme --- batsat/README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/batsat/README.md b/batsat/README.md index b358c048..218809a9 100644 --- a/batsat/README.md +++ b/batsat/README.md @@ -5,14 +5,14 @@ -# 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.