Programming Language Puzzle

Discrete Structures - Logic Puzzle Solver

Puzzle 1: The Programming Language Challenge
Five students participate in a programming competition. Each uses a unique programming language and solves different types of problems. Can you figure out who uses which language and what problems they solve?

Students

Alice
Bob
Charlie
Dave
Eve

Languages

Python icon
Python
Java icon
Java
C++ icon
C++
Ruby icon
Ruby
Swift icon
Swift

Problem Types

Math
Logic
Sorting
Graph
Clues
Use these 10 clues to deduce the solution
1

Bob solves Logic problems but does not use C++.

2

Charlie uses Swift and solves Graph problems.

3

The student using Python solves Math problems but does not solve Sorting problems.

4

Alice solves Math problems but does not use Ruby or Swift.

5

The student using C++ does not solve Logic or Graph problems.

6

Eve solves Sorting problems but does not use Java or Python.

7

Dave does not solve Graph problems and does not use Ruby.

8

The student solving Sorting problems also solves Logic problems.

9

Only two students solve Graph problems.

10

The student using Java solves exactly two types of problems.

Solve the Puzzle
Choose your approach: watch the automated solver work step-by-step, or try solving it yourself manually

Ready to See the Solution?

Click the button below to start the automatic solver. It will apply each clue step-by-step and show you how the solution is deduced.