license?

What is the license under which this is released?

Given the origin at UC Berkeley EECS, I might guess it would be the same one [as Ptolemy II](https://ptolemy.eecs.berkeley.edu/ptolemyII/ptIIfaq.htm#ptolemy%20II%20copyright)?