added TAE for grounded instances with optimization statement

Author: Philipp Wanko

ac_clingo/ac_clingo.py

@@ -44,12 +44,14 @@ def main(self):
             ctae = tae_class(ta_bin=args_.binary, runsolver_bin=args_.runsolver, 
                             memlimit=args_.memlimit,
                             run_obj=args_.run_obj,
-                            par_factor=10)
+                            par_factor=10,
+                            misc=args_.tae_args)
         else:
             ctae = ClaspTAE(ta_bin=args_.binary, runsolver_bin=args_.runsolver, 
                             memlimit=args_.memlimit,
                             run_obj=args_.run_obj,
-                            par_factor=10)
+                            par_factor=10,
+                            misc=args_.tae_args)
 
         # use individualized compare methode
         intensifier = Intensifier(tae_runner=None, stats=None, 

ac_clingo/io/cmd_reader.py

@@ -1,6 +1,7 @@
 import os
 import logging
 import glob
+import json
 from argparse import ArgumentParser, ArgumentDefaultsHelpFormatter, SUPPRESS
 
 
@@ -64,9 +65,13 @@ def read_cmd(self):
         opt_opts.add_argument("--verbose_level", default=logging.INFO,
                               choices=["INFO", "DEBUG"],
                               help="random seed")
+        opt_opts.add_argument("--tae_args", default="{}",
+                              help="Miscellaneous options for the TAE")
+        
 
         args_, misc = parser.parse_known_args()
         self._check_args(args_)
+        args_.tae_args=json.loads(args_.tae_args)
 
         # remove leading '-' in option names
         misc = dict((k.lstrip("-"), v.strip("'"))