Finite model finder