add numerics for eigenvector extraction
add to project file
adapt from NUtils
fsm construction
stride for qc
qc using TransitionMatrix
qc using uniquequeue
bugfix, but still errors
conflict driven minimization
bugfix qc
up to qc