Skip to content
GitLab
Explore
Sign in
Tomáš Fiedor
forester-resource-bounds
Repository
forester-resource-bounds
fa
vis
Find file
Blame
History
Permalink
Very simple prototype implementation.
· abc41886
Tomáš Fiedor
authored
Jun 23, 2015
Termination: Generates simplest invariants, unusable, but start.
abc41886