better solver frame-work
notes