A debuggable automatic theorem prover for boolean satisfiability problems (SAT).
A fast, brute force, automatic theorem prover for first order logic
A highly parallel Perl 5 interpreter written in Rust
Print the build information of your program with minimal boilerplate
Helper macro for `ever`, which prints the build information with minimal boilerplate.
U-Blox to RINEX deserializer
A tokio-rs/tracing structured JSON formatting layer for the fledgling logger
A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
Boolean satisfiability problem encoding library written in rust.
Facade crate for SMT constraint IR + SMT-LIB backends
Structs used throughout BRK
Interface to the SAT solver Glucose for the RustSAT library.