<filename>exercises/practice/missing_number/missing_number.py
from z3 import *

def missing_number(l: list) -> int:
    """Returns the number that is not in the list."""

    # TODO: Write your code here

    return None
