qube5.0

Warning: mysql_fetch_array() expects parameter 1 to be resource, boolean given in /web/htdocs/www.qbflib.org/home/solver_detail.php on line 72
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: