Skip to content
GitLab
Explore
Sign in
M-DES-tools
MDESops
Repository
desops
DESops
tree
simple_test.py
Find file
Blame
History
Permalink
Added beginning of tree automata code. Synthesis is still buggy!
· aca763de
Andrew Wintenberg
authored
Oct 12, 2021
aca763de