Commit 4488bee

Juraj Major

committed

Experiments/*: update of tests, rename to LTL3TELA

1 parent e76c1be commit 4488beeCopy full SHA for 4488bee

2 files changed

+531

-230

lines changed

Experiments
- Evaluation.ipynb
- ltlcross_runner.py

2 files changed

+531

-230

lines changed

Comments

(0)