Creating two Main Classes to distinguish the tasks for the first
MiniProject and the Second one.
Modifying the Transition class to have a relation that must be
left-total, needed for Kripke Structure
Initial KS and CTL Implementation.
Merge branch 'master' of https://github.com/oiami/LTS-Project.git