PR: implemented suggestions and applied reviews

.github/workflows/batsat.yml

@@ -2,9 +2,9 @@ name: BatSat
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always
@@ -26,9 +26,5 @@ jobs:
           shared-key: "build-test"
       - name: Cargo build
         run: cargo build -p rustsat-batsat --verbose
-        env:
-          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
       - name: Cargo test
         run: cargo test -p rustsat-batsat --verbose
-        env:
-          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}

.github/workflows/docs.yml

@@ -32,7 +32,7 @@ jobs:
             echo "failed for main crate"
             return=false
           fi
-          for dir in tools cadical kissat minisat glucose ipasir capi pyapi; do
+          for dir in tools cadical kissat minisat glucose batsat ipasir capi pyapi; do
             cd ${dir}
             if ! cargo rdme --check; then
               echo "failed for ${dir}"

.github/workflows/semver-checks.yml

@@ -43,3 +43,7 @@ jobs:
         uses: obi1kenobi/cargo-semver-checks-action@v2
         with:
           package: rustsat-ipasir
+      - name: BatSat
+        uses: obi1kenobi/cargo-semver-checks-action@v2
+        with:
+          package: rustsat-batsat

Cargo.toml

@@ -6,7 +6,6 @@ members = [
   "glucose",
   "minisat",
   "ipasir",
-  "batsat",
   "solvertests",
   "capi",
   "pyapi",

batsat/CHANGELOG.md

@@ -2,10 +2,8 @@
 
 All notable changes to this project will be documented in this file.
 
-## [0.2.4] - 2024-04-10
+## [0.1.0] - <Set Date When Releasing>
 
-### 🚀 Features
-
-- Implemented batsat api
+Initial Release
 
 <!-- generated by git-cliff -->

batsat/Cargo.toml

@@ -11,9 +11,6 @@ readme = "README.md"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
-[features]
-debug = []
-
 [dependencies]
 batsat = "0.5.0"           # when changing this version, do not forget to update signature
 anyhow.workspace = true

batsat/src/lib.rs

@@ -1,6 +1,13 @@
-//! # BatSat Solver Interface
+//! # rustsat-batsat - Interface to the BatSat SAT Solver for RustSAT
 //!
-//! Interface to the [BatSat](https://github.com/c-cube/batsat) incremental SAT-Solver
+//! 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 Version
+//!
+//! The version of BatSat in this crate is Version 0.5.0.
+
+#![warn(clippy::pedantic)]
+#![warn(missing_docs)]
 
 use batsat::{intmap::AsIndex, lbool, BasicSolver, SolverInterface};
 use rustsat::{

release-plz.toml

@@ -40,3 +40,8 @@ git_release_enable = false
 name = "rustsat-pyapi"
 release = false
 git_release_enable = false
+
+[[package]]
+name = "rustsat-batsat"
+release = false
+git_release_enable = false