diff --git a/README.md b/README.md index 688cfd4..76d811d 100644 --- a/README.md +++ b/README.md @@ -8,17 +8,11 @@ make clean; make $instance: input cnf -$threads: number of threads - -$time-limit: maximum running time - - ``` -./pakissat $instance $threads $time-limit +./Light $instance ``` - - +For more options, try './light -h'