search

kroening / fastsynth

Other
3 stars 1 forks source link

termination benchmarks #57

Open kroening opened 6 years ago

kroening commented 6 years ago

Look at format of termination benchmarks at

http://termination-portal.org/wiki/Termination_Competition

Implement front-end in fastsynth, and then try in comparison to other tools.