EFTASearch
• Bounded Time Boolean Satisfiability Solver — Epstein Files