glueminisat_simp

blocks distance (LBD)

Install

All systems
curl cmd.cat/glueminisat_simp.sh
Fedora
dnf install glueminisat
Dockerfile
dockerfile.run/glueminisat_simp

glueminisat

blocks distance (LBD)