-
Karlheinz Friedberger authored
This is the minimal required set of licenses for Yices. We still need to check the rest of JavaSMT. This could be done after merging this branch.
This project is licensed under the Apache License 2.0.
Learn more
This is the minimal required set of licenses for Yices. We still need to check the rest of JavaSMT. This could be done after merging this branch.