Project for the lecture Advanced Data Structures during summer term 2023
-
Updated
Jul 17, 2023 - Rust
Project for the lecture Advanced Data Structures during summer term 2023
A bit vector that supports fast rank and select
Bit vector implementation that includes byte padding for safe serialization and deserialization.
A lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation.
A simple (unfinished) SMT solver for QF_ABV.
Add a description, image, and links to the bitvector topic page so that developers can more easily learn about it.
To associate your repository with the bitvector topic, visit your repo's landing page and select "manage topics."