Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 8d78b1d75e
Fetching contributors…

Cannot retrieve contributors at this time

16 lines (11 sloc) 0.234 kb
MCECTL (Model Checker for Extended Computation Tree Logic)
by Dan Horgan
1. Dependencies
* CMake (>= 2.8 ?)
* Flex, Bison
* GNU Readline
* boost::shared_ptr
* boost::numeric::ublas
2. Compilation
cmake .
make
Jump to Line
Something went wrong with that request. Please try again.