Commit a0fb7da4 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Update readme and license

parent 3c881736
This diff is collapsed.
This diff is collapsed.
......@@ -2,3 +2,22 @@ Peregrine
Tool for efficient verification of population protocols
Philipp Meyer - []
Stefan Jaax - []
Peregrine is licensed under the GPLv3, see [] for details.
Logo by [Juan Lacruz](, [Peregrine Falcon La Cañada](ñada.jpg), [CC BY-SA 3.0](
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment