Lib.rs

›
#btor

btor

by Yuheng Su

1 unstable release

0.1.0 Dec 7, 2024
Download history 174/week @ 2024-12-04 49/week @ 2024-12-11 21/week @ 2024-12-18 10/week @ 2024-12-25 17/week @ 2025-01-01

110 downloads per month

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
~163K SLoC