Resolves #741
Align operation cache w.r.t. cache line.
increase op cache fib by one in listdd32
increase op cache fib by one in listdd64
allow configure difference between node table and cache size in listdd32
allow configure difference between node table and cache size in listdd64
increase nodes_fib before resizing the op_cache in listdd32
increase nodes_fib before resizing the op_cache in listdd64
set_universe operation for vset-lib (implemented in listdd32 and listdd64
Fix documentation for ldd options.
allow dot output of symbolic state storage
output group_explored when verbose.
Make listdd64 default vset implementation.
add some logic operators to dm.c/dm.h
allow to clear the matrix, i.e. set every element to 0
listdd make dot static, method also exists in ldd64
move next_count such that it contains real amount of next state calls.
rename flags -> reachable
rename mdd64 to mdd
move node table full check
use constant for unused cache record