From 7de16e7e96429b1d73c44653ae4bf0d920ee74f1 Mon Sep 17 00:00:00 2001
From: mambacrose <72690771+iHaN-o@users.noreply.github.com>
Date: Tue, 30 Aug 2022 15:47:04 +0800
Subject: [PATCH] version 1.0 (upd readme)

---
 README.md | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

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'