NAUTY-DRETODOT(1)

✨ nauty-dretodot β€” section 1 of the manual, bestie πŸ’–

okay so this is the page for nauty-dretodot, a little utility that lives in the nauty suite. it's giving "one job" energy, and we're gonna be so real about it.


🌸 NAME 🌸

nauty-dretodot β€” a graph-processing utility from the nauty suite πŸ’…

like, that's the whole name section. short, sweet, iconic. πŸ‘‘


πŸ¦‹ DESCRIPTION πŸ¦‹

so. here's the thing. when you run it, this is literally what happens:

./nauty-dretodot: error while loading shared libraries:
libnauty-2.9.3.so: cannot open shared object file: No such file or
directory

and that's it. that's the description. no options, no flags, no examples, no SEE ALSO. not a single additional detail β€” the page tells you exactly one (1) thing and it is that it cannot open the shared object file libnauty-2.9.3.so, because there is no such file or directory 🫠

bestie, fr fr: the error is coming from ./nauty-dretodot itself, and the missing piece is libnauty-2.9.3.so. that's all the page gives us, so that's all we're passing along. no cap. πŸ™ˆ

lowkey the shortest manpage I've ever read and honestly? it ate. minimalism is a vibe. πŸ’œ

signing off, mwah πŸ’‹ β€” this was nauty-dretodot 2.9.3, dated January 2026. periodt. πŸŽ€βœ¨

πŸ“¦ where this page comes from