[![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

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 Version

The version of BatSat in this crate is Version 0.5.0.

<!-- cargo-rdme end -->