zcy
/
phyLS
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update README.md

pull/1/head
潘鸿洋 2022-12-14 09:13:30 +08:00 committed by GitHub
parent 7b67d87713
commit abf10579b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
README.md
View File

@ -1,26 +1,18 @@
# phyLS (powerful ) #powerful heightened yielded Logic Synthesis (phyLS)
This is phyLS is based on the [EPFL Logic Synthesis Libraries](https://github.com/lsils/lstools-showcase).
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 ## 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. 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 ## How to Compile
```bash ```bash
git clone --recursive https://github.com/panhongyang0/phySAT.git git clone --recursive https://github.com/panhongyang0/phyLS.git
cd phySAT cd phyLS
mkdir build mkdir build
cd build cd build
cmake .. cmake ..
make make
./bin/phySAT ./bin/phyLS
```
## Useage
```bash
help // all useful commands
1. cnf -f xx.cnf // CNF-based AllSAT solver, the benchmark is in <benchmark>
``` ```