GitHub - imandra-ai/code-logician-examples

Each example contains

README.md - a description of the example
main.py - the source code of the example
refactored.py - CodeLogician refactored source code
gen.iml - CodeLogician generated IML code
gen_w_query.iml - CodeLogician generated IML code with verify, instance, and decompose queries

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
river_crossing		river_crossing
six_swiss		six_swiss
tla		tla
ubs_dark_pool		ubs_dark_pool
.gitignore		.gitignore
.python-version		.python-version
README.md		README.md
pyproject.toml		pyproject.toml

Provide feedback