add requirements.txt

Author: Chronosymbolic

README.md

@@ -51,6 +51,8 @@ Python (3.7.0 or higher, and [Anaconda](https://www.anaconda.com/) recommended)
 
     - More options see `--help`
 
+- After finishing running, the `./tmp` directory can be deleted safely
+
 # To reproduce Chronosymbolic-single
 
 Please refer to the configuration in `./experiment/result_summary.log`. The default config should also be decent. Even fixed random seeds can cause minor randomness that may slightly affect the performance.

experiment/README.md

@@ -1,5 +1,5 @@
 ## result_safe_summary.log and result_unsafe_summary.log
-The logs are the running logs of our reported experiment on ``Chronosymbolic-single''. This experiment runs a suite of instances using a fixed set of hyperparameters. 
+The logs are the running logs of our reported experiment on ``Chronosymbolic-single''. This experiment runs a suite of instances using a fixed set of hyperparameters.
 
 The structure of the log is as follows:
 
@@ -13,11 +13,11 @@ The structure of the log is as follows:
 
 The specifications of the device used to generate this log:
 
-- Processor	12th Gen Intel(R) Core(TM) i7-12700H   2.30 GHz
+- Processor 12th Gen Intel(R) Core(TM) i7-12700H   2.30 GHz
 
-- Installed RAM	32.0 GB (31.7 GB usable)
+- Installed RAM 32.0 GB (31.7 GB usable)
 
-- System type	64-bit operating system, x64-based processor
+- System type: 64-bit operating system, x64-based processor
 
 
 ## comparison.xlsx

requirements.txt

@@ -0,0 +1,7 @@
+pysmt
+pyyaml
+z3-solver
+nltk
+ordered-set
+colorlog
+eventlet

test.py

@@ -26,11 +26,12 @@
 
 
 # --- Set agent and DT algorithm here ---
-ClassAgent = Chronosymbolic
-# ClassAgent = DataDrivenLearner
+# ClassAgent = Chronosymbolic
+ClassAgent = DataDrivenLearner  # LinearArbitrary like
+# ClassAgent = DataDrivenLearner_v2  # LinearArbitrary like, optimized
 
-ClassDT = C5DT
-# ClassDT = SklearnDT
+ClassDT = C5DT  # C5.0
+# ClassDT = SklearnDT  # CART
 # --- Set agent and DT algorithm here ---
 
 
@@ -280,7 +281,7 @@ def run_filelist_mode(args, logger, agent_params):
 
 if __name__ == "__main__":    
     # sys.exit(guess_manually())
-    file_name = 'tests/simple_smt/10000.smt2'
+    file_name = 'tests/simple_smt/10000.smt2'  # for testing functionality
 
     parser = argparse.ArgumentParser()
     parser.add_argument('-f', '--file_name', help='SMTLIB File Name or dir name', default=file_name)