glueminisat_core

blocks distance (LBD)

Fedora
RUN dnf install -y glueminisat
click the source code to copy install glueminisat_core on any operating system with command-not-found.com