Is Dafny available as a library, to be called from other software?

Question

Is Dafny available as a library, to be called from other software?

Answer

Yes, it is. The DafnyPipeline library on NuGet is the most likely candidate for inclusion in a third-party program.