Documentation update: Boolector is using the MIT license now
authorClifford Wolf <clifford@clifford.at>
Tue, 23 Jul 2019 13:24:04 +0000 (15:24 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 23 Jul 2019 13:24:04 +0000 (15:24 +0200)
commitddbad8fd714a228343597cc43ca59bf3ba7d7272
tree1fcea17668a9d34b4fd628b3639a5e7fe0ce504d
parent4b6bb4e4181b4d65073843caca6bf1f3b29ce7b2
Documentation update: Boolector is using the MIT license now

Signed-off-by: Clifford Wolf <clifford@clifford.at>
docs/source/quickstart.rst