EFTASearch
• Bounded Time Boolean Sadsfiability Solver — Epstein Files