Name: netkat-automata
Owner: The Frenetic Project
Description: A Coalgebraic Decision Procedure for NetKAT
Created: 2015-01-06 20:31:16.0
Updated: 2018-01-31 11:16:06.0
Pushed: 2017-05-27 05:27:07.0
Homepage: null
Size: 5368
Language: OCaml
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|