Übung DPLL(T)

• ein DPLL(T)-Beispiel für T= Differenzlogik und lineare Ungl. durchrechnen. (evtl. auch autotool)
• dabei ggf. T-Entscheidungsverfahren wiederholen.
• welche Möglichkeiten bestehen dabei für T-Propagation? T-Lernen?