From 3e338c3be65638ef1898c32c707c50422acafb18 Mon Sep 17 00:00:00 2001 From: ericmarin Date: Thu, 26 Mar 2026 20:28:38 +0100 Subject: added LICENSE --- nneq.py | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'nneq.py') diff --git a/nneq.py b/nneq.py index 784002a..b919b17 100644 --- a/nneq.py +++ b/nneq.py @@ -1,3 +1,18 @@ +# Copyright (C) 2026 Eric Marin +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU Affero General Public License as +# published by the Free Software Foundation, either version 3 of the +# License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU Affero General Public License for more details. +# +# You should have received a copy of the GNU Affero General Public License +# along with this program. If not, see . + import z3 import re import numpy as np -- cgit v1.2.3