<reponame>exercism-bot/z3
from z3 import *

def minima(a: float, b: float, c: float, d: float):
    """Finds a local minimum on the given function."""

    # TODO: Add your code here

    pass

from z3 import *

def minima(a: float, b: float, c: float, d: float):
    """Finds a local minimum on the given function."""

    # TODO: Add your code here

    pass
Finds a local minimum on the given function. # TODO: Add your code here