glueminisat_simp

blocks distance (LBD)

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