documenting solver