/propositional_analysis

Application to facilitate the use of temporal logic in evaluating the output of a demon process

No issues in this repository yet.