A C++ library for matching regular expressions in polynomial time.