badouralix/tutors-lessons-durations-rates

Logic puzzle solver using Z3 Theorem Prover

Jupyter NotebookMIT