-
Hans-Jörg authored- Add BSD 3 clause LICENSE as for veriT - Add setup.py (doesn't work yet) - Update shell.nix
280de5ec
This project is licensed under the BSD 3-Clause "New" or "Revised" License.
Learn more
- Add BSD 3 clause LICENSE as for veriT - Add setup.py (doesn't work yet) - Update shell.nix