docs: changelog and readme added

batsat/.gitignore

@@ -0,0 +1,2 @@
+/target
+/Cargo.lock

batsat/CHANGELOG.md

@@ -0,0 +1,11 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+## [0.2.4] - 2024-04-10
+
+### 🚀 Features
+
+- Implemented batsat api
+
+<!-- generated by git-cliff -->

batsat/README.md

@@ -0,0 +1,18 @@
+[![Check & Test](https://github.com/chrjabs/rustsat/actions/workflows/batsat.yml/badge.svg)](https://github.com/chrjabs/rustsat/actions/workflows/batsat.yml)
+[![crates.io](https://img.shields.io/crates/v/rustsat-batsat)](https://crates.io/crates/rustsat-batsat)
+[![docs.rs](https://img.shields.io/docsrs/rustsat-batsat)](https://docs.rs/rustsat-batsat)
+[![License](https://img.shields.io/crates/l/rustsat-batsat)](../LICENSE)
+
+<!-- cargo-rdme start -->
+
+# 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.
+
+## Features
+
+## BatSat Version
+
+The version of BatSat in this crate is Version 0.5.0.
+
+<!-- cargo-rdme end -->

batsat/src/lib.rs

@@ -1,6 +1,6 @@
-//! # Minisat Solver Interface Without Preprocessing (Core)
+//! # BatSat Solver Interface
 //!
-//! Interface to the [Minisat](https://github.com/niklasso/minisat) incremental
+//! Interface to the [Minisat](https://github.com/c-cube/batsat) incremental
 //! SAT solver.
 
 use batsat::{intmap::AsIndex, lbool, BasicSolver, SolverInterface};