開發者 maffsa.sf.net

MAF (Monoid Automata Factory) 免費

KBMAG C++返工。用於計算C++和共合重寫系統的封裝和存儲庫，用於組和共集重寫系統，以及用於有限狀態自動機計算