1) Use BDD PLTL

    ./bddpltl -sat < [path to file pltl]

Example

	./bddpltl -sat < input.pltl


2) Use Prover

    ./pltl graph < [path to file pltl]
    
    ./pltl tree < [path to file pltl]

Example

	./pltl graph < input.pltl
	
	./pltl tree < input.pltl
	

3) Use pltl

    ./pltl < [path to file pltl]

Example

	./pltl < input.pltl