From 7b67d87713c25fcfc04dd5139edecfca046a84ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=BD=98=E9=B8=BF=E6=B4=8B?=
 <74575924+panhongyang0@users.noreply.github.com>
Date: Wed, 14 Dec 2022 08:56:39 +0800
Subject: [PATCH] Update README.md

---
 README.md | 27 ++++++++++++++++++++++++++-
 1 file changed, 26 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b141ad3..8cb3be9 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,26 @@
-# phyLS
\ No newline at end of file
+# phyLS (powerful )
+
+This is 
+
+The SAT part is same as normal SAT solver.
+
+The implementation of the AllSAT part differs from incremental enumeration because we do not add blocking conditions for existing solutions, but rather compute the matrices to obtain all the solutions in one pass.
+
+## Requirements
+A modern compiler is required to build the libraries. Compiled successfully with Clang 6.0.1, Clang 12.0.0, GCC 7.3.0, and GCC 8.2.0. 
+
+## How to Compile
+```bash
+git clone --recursive https://github.com/panhongyang0/phySAT.git
+cd phySAT
+mkdir build
+cd build
+cmake ..
+make
+./bin/phySAT
+```
+## Useage
+```bash
+help  // all useful commands
+1. cnf -f xx.cnf // CNF-based AllSAT solver, the benchmark is in <benchmark> 
+```