Bakalářská práce se věnuje řešiči modulo teorií cvc5. Jejím prvotním cílem je výzkum možností řešiče pro automatickou syntézu funkcí a použití tohoto řešiče v praxi. Prozkoumává jeho chování pomocí existujících benchmarkových ...