Add optimization function based on feasibility checking
go fmt
Make Example_readme a little clearer