Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
-
Updated
Jul 15, 2024 - Java
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
A bit vector that supports fast rank and select
Perl from the C code of the book, "Creating Rhythms"
Succinct Data Structure Library 3.0
Afternotes from the courses of the master degree course of Computer Science and Information Technology, from the Ca' Foscari University of Venice.
Provides a bit-vector, an optimized replacement of the infamous std::vector<:b:ool>. In addition to the bit-vector, the library also provides implementations of STL algorithms tailored for bit-vectors.
Greg's Template Library of useful classes.
Specify and synthesize systems using symbolic algorithms
Fast and highly tuned bit vector implementation including space efficient rank and select support having only 3.51% space overhead.
A little endian bit-vector Haskell library
Pure-Python library for working with bit vectors.
Project for the lecture Advanced Data Structures during summer term 2023
Project for "Advanced Data Structures" @ KIT in SS 23
Dynamic boolean vector implementation for C programming language.
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."