NationalSecurityAgency/XORSATFilter

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

50 best points · 14 comments · 1 Hacker News post · 89 GitHub stars · View on GitHub

Hacker News discussions

• Efficient set-membership filters and dictionaries based on SAT (50 points, 14 comments, by keepamovin, 2025-06-29)