Main-Class: TruthTableSolver.main.Main
