Fixes #3
add missing help info for rb4w
add missing doc for several regrouping options.
fix warning in cache layer
revert the use_guards type. We can introduce a new option for the 'evaluate' value later if needed.
fixes #3
remove unnecessary check
Removed some mallocs from the multi-process part of the sym tool.
Preferring lddmc_satcount_cached over lddmc_satcount for counting states when
using lddmc as vset implementation.
Don't perform guard-splitting operations when guard-splitting is disabled.
vset_lddmc: return src set in vset_copy_match in lddmc when called with empty projection.
vset: added vset_project_minus and default implementation
pins2lts-sym: use vset_project_minus
vset_sylvan: update sylvan and fix for changed sylvan_cube AP and update submodule git repositoryI
vset_lddmc: implement new set_project_minus
vset_lddmc: add debug check against multi-threaded use of vset_lddmc sets/relations
vset_lddmc: fix bug when dst==left or dst==right
vset_lddmc: fix typo
add general stop function for reachability
Use HREabort for soundness check
use special exit code for soundness check