Check out Malin Solver (@malin