Efficient bit vector, set of integers and "big int" math library
Description
This module provides an efficient C library which allows you to work with arbitrary size
bit vectors, (integers) sets, "big integer arithmetic" and boolean matrices.
The library greatly improves the execution speed by widely using the divede-and-conquer
algorithm.