hybrid sog / ltl formula

README.md

libraries/parser/.gitignore

libraries/parser/CMakeLists.txt

libraries/parser/LICENSE

libraries/parser/README.md

libraries/parser/examples/AllObs1

libraries/parser/examples/AllObs10

libraries/parser/examples/AllObs2

libraries/parser/examples/AllObs20

libraries/parser/examples/AllObs3

libraries/parser/examples/AllObs4

libraries/parser/examples/AllObs5

libraries/parser/examples/AllObs6

libraries/parser/examples/AllObs7

libraries/parser/examples/AllObs8

libraries/parser/examples/AllObs9

libraries/parser/examples/AllPeter2

libraries/parser/examples/AllPeter3

libraries/parser/examples/AllPeter4

libraries/parser/examples/BD10.net