daisi-solver and gui-client are forked from https://daisi.sourceforge.io/ (https://ieeexplore.ieee.org/document/7880398)