Change function order in export list
Ensafe Cubie

Use `Control.Monad.mfilter`
Implement solvability test