-
Notifications
You must be signed in to change notification settings - Fork 0
/
Main.java
28 lines (26 loc) · 891 Bytes
/
Main.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
import java.util.Scanner;
public class Main {
public static void main(String[] args) {
Scanner sc = new Scanner(System.in);
while (true) {
System.out.println("What would you like to do:");
System.out.println("1. Generate Theorems (Only Valid if the initial theorem is " +
"valid)");
System.out.println("2. Validate Theorem");
System.out.println("3. Exit");
System.out.print("Choice: ");
int choice = sc.nextInt();
sc.nextLine();
if (choice == 1) {
MIUGenerator.main(args);
} else if (choice == 2) {
MIUSolver.main(args);
} else if (choice == 3) {
break;
} else {
System.out.println("Invalid choice.");
}
}
sc.close();
}
}