Binary distribution for people who don't want to install haskell, etc.

termite2 / Termite

The Termite driver synthesis tool

30 stars 7 forks source link

Open ryzhyk opened 9 years ago

davidcock commented 9 years ago

As I mentioned before, I've got binaries building automatically in Bamboo, which you're welcome to use.