qube5.0

Submitter: Massimo Narizzano
Description: Advanced version of qube4.0 that integrates in the preprocessing the ternary equivalence checking, developed in collaboration with Paolo Ferraris.
Results: