Skip to content

badouralix/tutors-lessons-durations-rates

Repository files navigation

Tutors Lessons Durations Rates

Tutors Lessons Durations Rates is a French logic puzzle that turns out to be really hard to solve manually because of the many backtracking branches that need to be explored.

Give it a try at https://www.jeuxlogiques.fr/integramme/index/grille?grille=3.

Puzzle

Il s'agit ici de trouver, pour chaque cours particulier de langue, sa durée, son prix et le nom de l'enseignant.

  1. Le cours le plus cher n'a pas duré 35 ni 40 minutes.
  2. Le cours de Lylian a duré 5 minutes de moins que celui qui a coûté 35 euros mais plus longtemps que le cours de latin.
  3. Le cours d'arabe a coûté plus cher que celui de Louis mais moins cher que celui de 30 minutes.
  4. Charles n'enseigne pas l'anglais ni l'arabe mais son cours n'a pas duré 5 minutes de moins que celui de Lylian.
  5. Le cours de chinois a duré 5 minutes de moins que celui à 42 euros mais plus longtemps que celui de Baptiste, dont le prix diffère de plus de 7 euros de celui de Charles.
  6. Le cours de Grégoire a coûté plus cher que le cours d'allemand mais moins cher que le plus long.

Solution

Click here to see the solution

Baptiste donne un cours d'allemand de 35 minutes à 28€.

Lylian donne un cours d'arabe de 40 minutes à 49€.

Grégoire donne un cours de chinois de 45 minutes à 35€.

Charles donne un cours de latin de 30 minutes à 56€.

Louis donne un cours d'anglais de 50 minutes à 42€.

License

Unless expressly stated otherwise, all contents licensed under the MIT License.

About

Logic puzzle solver using Z3 Theorem Prover

Topics

Resources

License

Code of conduct

Stars

Watchers

Forks