notes on solver