CoCoA, 02 Mar 2017 Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but…