Skip to content

Commit 13c60df

Browse files
authored
Update README.md
1 parent d6aa465 commit 13c60df

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, and Shetal Shah, "W
99
BFSS has 2 major dependencies: [ABC](https://github.com/shubham-goel/ABC) and [Scalmc](https://github.com/shubham-goel/scalmcSampling). Both have been added as submodules in `./dependencies`. Note that some repos may be private. Please contact BFSS authors for access. Clone recursively to download dependencies and setup as follows:
1010
```shell
1111
# Download BFSS with dependencies
12-
git clone --branch v4.1 [email protected]:BooleanFunctionalSynthesis/bfss.git
12+
git clone [email protected]:BooleanFunctionalSynthesis/bfss.git
1313
cd bfss
1414
git submodule update --init dependencies/abc
1515
git submodule update --init dependencies/scalmc # Skip if scalmc unavailable

0 commit comments

Comments
 (0)