From: Tim 'mithro' Ansell <me@mith.ro>
Date: Thu, 11 Apr 2019 22:36:19 +0000 (-0700)
Subject: Adding license info to the top level README file too.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9400f7ca4581a78cff20f449ee8a7b05ce045f72;p=SymbiYosys.git

Adding license info to the top level README file too.
---

diff --git a/README.md b/README.md
index 4c4d1ae..a12779d 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
 SymbiYosys (sby) is a front-end driver program for [Yosys](http://www.clifford.at/yosys)-based formal hardware verification flows. See [http://symbiyosys.readthedocs.io/](http://symbiyosys.readthedocs.io/) for documentation on how to use SymbiYosys.
 
 Many example designs using SymbiYosys have been published on the [ZipCPU blog](http://zipcpu.com).  Please consider browsing the [formal verification page](http://zipcpu.com/formal/formal.html) of the [ZipCPU blog](http://zipcpu.com) for examples and commentary.
+
+SymbiYosys (sby) itself is licensed under the ISC license, note that the solvers and other components used by SymbiYosys come with their own license terms. There is some more details in the ["Selecting the right engine" section of the documentation](https://symbiyosys.readthedocs.io/en/latest/quickstart.html#selecting-the-right-engine).