FLT file format: filter files for the solution pool

The FLT file format supports filters of the solution pool.