Added a pluggable linear solver using or-tools package. README.md is updated.