-
Hans-Jörg Schurr 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
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
- Add BSD 3 clause LICENSE as for veriT - Add setup.py (doesn't work yet) - Update shell.nix