Lib.rs

›
#btor

btor

by Yuheng Su

1 unstable release

new 0.1.0 Dec 7, 2024
Download history 159/week @ 2024-12-04

159 downloads per month
Used in ric3

MIT license

3MB
7K SLoC

C 3.5K SLoC // 0.0% comments C++ 3.5K SLoC // 0.0% comments Shell 240 SLoC // 0.1% comments Rust 31 SLoC

Contains (static library, 2MB) libboolector.a, (static library, 1MB) liblgl.a, (static library, 125KB) libbtor2aiger.a, (static library, 50KB) libbtor2parser.a

Rust wrapper for btor

Dependencies

~3–12MB
~169K SLoC