pyabc: minor changes for compeition

scripts/abc.rc

@@ -1,7 +1,5 @@
 python new_abc_commands.py
-python reachx_cmd.py
-
-load_plugin bip "Bip"
+python -c "import reachx_cmd"
 
 # global parameters
 set check         # checks intermediate networks

scripts/new_abc_commands.py

@@ -1,3 +1,4 @@
+import sys
 import os
 import pyabc
 import par
@@ -116,6 +117,12 @@ def proof_command_wrapper(prooffunc, category_name, command_name, change):
             pyabc.run_command('/pushdtemp')
             
         try:
+            for d in os.environ['PATH'].split(':'):
+                bip = os.path.join(d, 'bip')
+                if os.path.exists(bip):
+                    pyabc.run_command("load_plugin %s Bip"%bip)
+                    break
+
             basename = os.path.basename( aig_filename )
             shutil.copyfile(aig_filename, basename)
             aig_filename = basename