lean2/README.md
2013-11-08 16:09:37 -05:00

1.8 KiB

Build Status Ubuntu 12.04 LTS 64bit, g++-4.8 | clang++-3.3

Build Status Mac OS X 10.8.2, g++-4.9

Build Status Windows, x86_64-w64-mingw32-g++-4.8.2

[Result of Build/UnitTest/Coverage/Dynamic Analysis]

About

Requirements

Installing required packages at

Build Instructions

Miscellaneous