This directory is intended to contain SMT solvers to test the generic
wrapper.