Star AlbumentationsX on GitHub — it powers this leaderboard

Star on GitHub
← Back to leaderboard
NationalSecurityAgency

XORSATFilter

NationalSecurityAgency/XORSATFilter

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

83stars
Forks
21
Open issues
0
Watchers
83
Size
0.1 MB
COther
cdictionaryefficientfiltersatisfiability
Created: Feb 4, 2020
Updated: Jan 18, 2026
Last push: Aug 4, 2022