Name		Name	Last commit message	Last commit date
Latest commit History 105 Commits
data		data
doc		doc
mcprbatl		mcprbatl
.gitattributes		.gitattributes
.gitignore		.gitignore
README.md		README.md
example2-tran-diag.pdf		example2-tran-diag.pdf
example2.model		example2.model
journal-ex1-transition-diagram.pdf		journal-ex1-transition-diagram.pdf
journal-ex2-test1.formulas		journal-ex2-test1.formulas
journal-ex2-transition-diagram.pdf		journal-ex2-transition-diagram.pdf
journal-ex3-transition-diagram.pdf		journal-ex3-transition-diagram.pdf
result-tables.docx		result-tables.docx
test-log-ex1-journal.docx		test-log-ex1-journal.docx
test_formulas.py		test_formulas.py
test_journal_ex1.py		test_journal_ex1.py
test_journal_ex2.py		test_journal_ex2.py
test_model.py		test_model.py
test_twoff.py		test_twoff.py