From a5bf84189c0df8a2ac5a6f99ca314a1f39c9b697 Mon Sep 17 00:00:00 2001 From: Andrew Guschin Date: Sun, 9 Apr 2023 18:23:13 +0400 Subject: Restructured project into multiple files --- graph-checker/src/theorems/mod.rs | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 graph-checker/src/theorems/mod.rs (limited to 'graph-checker/src/theorems/mod.rs') diff --git a/graph-checker/src/theorems/mod.rs b/graph-checker/src/theorems/mod.rs new file mode 100644 index 0000000..2737cbd --- /dev/null +++ b/graph-checker/src/theorems/mod.rs @@ -0,0 +1,2 @@ +pub mod basic; +pub mod toughness; -- cgit v1.2.3