update script

Author: mmicko

default/rules/default.py

@@ -74,7 +74,6 @@
     release_name = 'oss-cad-suite-ci',
     top_package = True,
     dependencies = [
-        'formal',
         'aiger',
         'avy',
         'bitwuzla',
@@ -85,8 +84,6 @@
         'suprove',
         'pono',
         'z3',
-        'eqy',
-        'gtkwave',
         'iverilog',
     ],
     branding ='OSS CAD Suite',