micro solver