Get the latest tech news

Efficient set-membership filters and dictionaries based on SAT


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

In no event shall the United States Government be liable for any direct, indirect, incidental, special, exemplary or consequential damages (including, but not limited to, procurement of substitute goods or services, loss of use, data or profits, or business interruption) however caused and on any theory of liability, whether in contract, strict liability, or tort (including negligence or otherwise) arising in any way out of the use of this Guidance, even if advised of the possibility of such damage. The User of this Work agrees to hold harmless and indemnify the United States Government, its agents and employees from every claim or liability (whether in tort or in contract), including attorneys' fees, court costs, and expenses, arising in direct consequence of Recipient's use of the item, including, but not limited to, claims or liabilities made for injury to or death of personnel of User or third parties, damage to or destruction of property of User or third parties, and infringement or other violations of intellectual property or technical data rights. Nothing in this Work is intended to constitute an endorsement, explicit or implied, by the U.S. Government of any particular manufacturer's product or service.

Get the Android app

Or read this on Hacker News

Read more on:

Photo of SAT

SAT

Photo of membership filters

membership filters

Photo of dictionaries

dictionaries

Related news:

News photo

College Board keeps apologizing for screwing up digital SAT and AP tests | AP Psych is the latest casualty of digital snafus

News photo

Accidentally writing a fast SAT solver

News photo

No More No. 2 Pencils: The SAT Goes Fully Digital