A solver for the tiling with triominos problem described by Jeff Erickson