Planning via Temporal logic and Consistency checking GSoC 2015