Add LICENSE, following the Iris LICENSE file. (!1) · Merge requests · Iris / oRA

Robbert Krebbers requested to merge robbert/license into master Mar 13, 2020

This closes issue #1 (closed).

/cc @jung @amintimany Can you state that you agree to releasing the contents of this repository under the BSD license.

Add LICENSE, following the Iris LICENSE file.