GwenTinho/graph_logic
Extension of a Graph creation and editing tool for the purpose of interacting with a given graph's modular decomposition to allow for the logical system
OCamlGPL-3.0
No issues in this repository yet.
Extension of a Graph creation and editing tool for the purpose of interacting with a given graph's modular decomposition to allow for the logical system
OCamlGPL-3.0
No issues in this repository yet.