Approach for the CB-CTT problem using SMT.
This was a personal project during study year 2020/2021 for Universitatea de Vest din Timisoara, in Romania.
During lecture < Formal Methods in Software Development >
Co-worked with my colleague Estevo Cordal.