From 6d3ebe8d4d5acdc3fc531ec649b48d6883c5103c Mon Sep 17 00:00:00 2001 From: alpavlenko Date: Sun, 30 Jun 2024 13:52:10 +0300 Subject: [PATCH] fix readme --- README_en.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README_en.md b/README_en.md index 0b0a5b0..acaad4d 100644 --- a/README_en.md +++ b/README_en.md @@ -212,6 +212,8 @@ python3 main_rho_im.py [-h] [-s [SOLVERNAME]] [-nl [NOFEALIMIT]] | --timelimit | -tl | time limit for the SAT oracle when solving hard tasks | | --conflictlimit | -cl | limit on the number of conflicts for the SAT oracle when solving hard tasks. At startup, only one of the options for restrictions is selected (the maximum set), respectively, either a time limit or a number of conflicts should be set | | --randomseed | -rs | random seed which is used to search for rho-backdoors | + + Example: ```shell python3 ./main_rho_im.py -f /examples/data/pvs_4_7.cnf -s cd195 -nl 500 -ng 5 -bds 10 -cl 20000