Seek42 (Linux-based, developed at the University of Missouri–Rolla, also available on SourceForge. Now maintained by one of the authors of the now defunct Seekant.)