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.
A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)
Two class libraries in order to work with BitVectors (aka BitSets): the "raw" BitVector class and the ISet abstraction: BitVectorSet.
Add a description, image, and links to the bitvectors topic page so that developers can more easily learn about it.
To associate your repository with the bitvectors topic, visit your repo's landing page and select "manage topics."