doc target added
formulation added
path corrected
json cpp added