Lib.rs

› WebAssembly | Algorithms › RustSAT
#sat-solver #rustsat #batsat

rustsat-batsat

Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust

by chrjabs and 4 contributors

3 releases

0.1.2 Dec 20, 2024
0.1.1 Dec 13, 2024
0.1.0 Oct 16, 2024

#286 in WebAssembly

Download history 168/week @ 2024-10-16 22/week @ 2024-10-23 4/week @ 2024-10-30 4/week @ 2024-11-06 1/week @ 2024-11-13 9/week @ 2024-11-27 51/week @ 2024-12-04 185/week @ 2024-12-11 170/week @ 2024-12-18 24/week @ 2024-12-25 22/week @ 2025-01-01 43/week @ 2025-01-08

266 downloads per month

MIT license

740KB
17K SLoC

Check & Test crates.io docs.rs License

rustsat-batsat - Interface to the BatSat SAT Solver for RustSAT

Interface to the BatSat incremental SAT-Solver to be used with the 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.

lib.rs:

rustsat-batsat - Interface to the BatSat SAT Solver for RustSAT

Interface to the BatSat incremental SAT-Solver to be used with the 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.

Dependencies

~4–13MB
~172K SLoC