efremov@linux.com Denis Efremov Enable advanced variable-reordering algorithms using dev-libs/boost Enable the BuDDy finite-domain decision diagram backend using LTSmin's compatible private fork Enable the Petri Net Markup Language frontend Enable the ProB frontend and prob2lts tools Enable gperftools profiling support in spgsolver Install the SpinS compiler for Promela models Enable Sylvan BDD and LDDmc symbolic state-storage backends Enable ZIP archive input and output https://github.com/utwente-fmt/ltsmin/issues utwente-fmt/ltsmin LTSmin is a language-independent model-checking toolset built around the Partitioned Interface to the Next-State function (PINS). It provides sequential, multicore and symbolic exploration algorithms and frontends for transition-system formats and modeling tools such as ETF, DVE, Promela, PNML and ProB.