diff --git a/Hazard/input.txt b/Hazard/input.txt deleted file mode 100644 index 574db0a..0000000 --- a/Hazard/input.txt +++ /dev/null @@ -1,6 +0,0 @@ -Variables: a, b, c, d -Terms: -"0010">1 -7>1 -1234>1 -"0123">1 \ No newline at end of file