Documentation updated.
Fixed error in writing and reading symbolic parity games using ldd64.
Fixed issues when LTSMIN_DEBUG flag is set or when Sylvan is not available.
Does not try to install Spins without Ant available.
Temporary workaround for bug with regrouping combined with lddmc.
always create entire projection.
add join to ldd64
pins-guards now has three options:
 - false -> do not use guards
 - assume-true -> do not evaluate guards in a next-state call
 - evaluate -> use guards, but evaluate guards in a next-state call
set the read matrix when the actions read matrix is not set.
rename slbs -> nguards
Now correctly use expand matrix in default_actions_short
use correct matrix for guard-splitting
use callback function for subsumption and row nub
fix dependency matrix operations for guard-splitting
Check whether the language front-end supports guard-splitting
use correct length of long state
add guards to DVE
initial support for guard splitting in pins2lts-sym.c
Don't show guard evaluation count when guard-splitting is not used.
use correct next-state function when guard-splitting is used