Vithoulkas View 2006

Vithoulkas View 2006 wurde bereits in einem vorherigen Synthese-Logfile für Synthesis 9.1 zur Verfügung gestellt. Diese Informationen wurden nun auch in Synthesis 9.2 Treasure Edition übernommen.

Gleichzeitig wurden einige geringfügige Änderungen an den bestehenden "Views" (Ansichten) vorgenommen: manche kürzlich durchgeführte Prüfungen wurden ebenfalls in "Quantum view – conservative" gezeigt und sind nun in "Millenium view – progressive" (sowie in der "Full Synthesis") zu finden.