The library containing all implemented model checking algorithms.

Version:
"1.4.0"
Author:
yaniv sa'ar.