GitHub repository: KRATEOfficial/KRATE.Generator
Description: Miner, solver and plotter library written in C# 7.2 targeting .Net Standard 2.0.