title: Frama-C Windows Binary Available?
body: <p>I am looking to do some experimenting with the Frama-C open source project and would like to install the tools on a Windows 7 machine.  It looks like previous versions have binary installers for Windows, but the latest version, Nitrogen, only has the source code available.  The website for the project <a href="http://frama-c.com" rel="nofollow">frama-c.com</a> says that these should be available but I don't see them on their download page.  Are binary installers available somewhere else?  </p>