A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem. - View it on GitHub