An HUCTL model checker library for analysis of parametrized models in parallel/distributed environment. This library is part of the BioDivine toolset.

###How to use This repo is jitpack-compatibile, so all you have to do is look up the latest version on jitpack and then integrate it into your favorite build system: CTL Model Checker on Jitpack

###API The model checker just went through a considerable amount of changes in preparation for the 2.0 version and the documentation is still under construction. For now, see the tests directory for usage examples.