A fork from in order to explore using (a subset of) LTL as a core language of Flipper

Name
Last commit
Last update
experiments Loading commit data...
formulaBuilder Loading commit data...
formulas/patterns Loading commit data...
smtEncoding Loading commit data...
tests Loading commit data...
traces Loading commit data...
useCases Loading commit data...
utils Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...
buildFaultyExecutionsGraph.py Loading commit data...
createAtomFormulas.py Loading commit data...
experiment.py Loading commit data...
exploreTestData.py Loading commit data...
findDecisionTreesSizes.py Loading commit data...
generateTestFiles.py Loading commit data...
measureSolvingTime.py Loading commit data...
requirements.txt Loading commit data...
solverRuns.py Loading commit data...