summaryrefslogtreecommitdiff
path: root/examples/api/python
diff options
context:
space:
mode:
Diffstat (limited to 'examples/api/python')
-rw-r--r--examples/api/python/CMakeLists.txt2
-rw-r--r--examples/api/python/bitvectors.py2
-rw-r--r--examples/api/python/bitvectors_and_arrays.py2
-rw-r--r--examples/api/python/combination.py2
-rw-r--r--examples/api/python/datatypes.py2
-rw-r--r--examples/api/python/exceptions.py2
-rw-r--r--examples/api/python/extract.py2
-rw-r--r--examples/api/python/floating_point.py2
-rw-r--r--examples/api/python/helloworld.py2
-rw-r--r--examples/api/python/linear_arith.py2
-rw-r--r--examples/api/python/sequences.py2
-rw-r--r--examples/api/python/sets.py2
-rw-r--r--examples/api/python/strings.py2
-rw-r--r--examples/api/python/sygus-fun.py2
-rw-r--r--examples/api/python/sygus-grammar.py2
-rw-r--r--examples/api/python/sygus-inv.py2
16 files changed, 16 insertions, 16 deletions
diff --git a/examples/api/python/CMakeLists.txt b/examples/api/python/CMakeLists.txt
index 04bb8a818..0a8b8cefd 100644
--- a/examples/api/python/CMakeLists.txt
+++ b/examples/api/python/CMakeLists.txt
@@ -3,7 +3,7 @@
## Top contributors (to current version):
## Andres Noetzli
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/bitvectors.py b/examples/api/python/bitvectors.py
index c370e50be..0bd6dc38a 100644
--- a/examples/api/python/bitvectors.py
+++ b/examples/api/python/bitvectors.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann, Aina Niemetz
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/bitvectors_and_arrays.py b/examples/api/python/bitvectors_and_arrays.py
index be88f690e..69acf3de7 100644
--- a/examples/api/python/bitvectors_and_arrays.py
+++ b/examples/api/python/bitvectors_and_arrays.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/combination.py b/examples/api/python/combination.py
index 7733437a1..0289f07d3 100644
--- a/examples/api/python/combination.py
+++ b/examples/api/python/combination.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann, Mudathir Mohamed, Aina Niemetz
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/datatypes.py b/examples/api/python/datatypes.py
index 6eef4478d..1c972da13 100644
--- a/examples/api/python/datatypes.py
+++ b/examples/api/python/datatypes.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann, Andrew Reynolds, Aina Niemetz
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/exceptions.py b/examples/api/python/exceptions.py
index 97b186b26..017aa82be 100644
--- a/examples/api/python/exceptions.py
+++ b/examples/api/python/exceptions.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Andres Noetzli
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/extract.py b/examples/api/python/extract.py
index dfe339003..e4378674c 100644
--- a/examples/api/python/extract.py
+++ b/examples/api/python/extract.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann, Aina Niemetz
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/floating_point.py b/examples/api/python/floating_point.py
index bee23b2c7..d22e2be5f 100644
--- a/examples/api/python/floating_point.py
+++ b/examples/api/python/floating_point.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann, Andres Noetzli
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/helloworld.py b/examples/api/python/helloworld.py
index 2d05822e5..e4ca5ec93 100644
--- a/examples/api/python/helloworld.py
+++ b/examples/api/python/helloworld.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann, Aina Niemetz
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/linear_arith.py b/examples/api/python/linear_arith.py
index f539d1e05..9b236777a 100644
--- a/examples/api/python/linear_arith.py
+++ b/examples/api/python/linear_arith.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann, Mudathir Mohamed, Aina Niemetz
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/sequences.py b/examples/api/python/sequences.py
index 9e3e45dc2..d2cff87bf 100644
--- a/examples/api/python/sequences.py
+++ b/examples/api/python/sequences.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Andres Noetzli, Makai Mann, Mudathir Mohamed
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/sets.py b/examples/api/python/sets.py
index 5d2f842f5..0c5b37ad8 100644
--- a/examples/api/python/sets.py
+++ b/examples/api/python/sets.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann, Mudathir Mohamed, Aina Niemetz
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/strings.py b/examples/api/python/strings.py
index 518a7b993..22ee24ae1 100644
--- a/examples/api/python/strings.py
+++ b/examples/api/python/strings.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Makai Mann, Mudathir Mohamed, Andres Noetzli
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/sygus-fun.py b/examples/api/python/sygus-fun.py
index 9fb7f4648..c3ae06140 100644
--- a/examples/api/python/sygus-fun.py
+++ b/examples/api/python/sygus-fun.py
@@ -5,7 +5,7 @@
## Yoni Zohar, Andres Noetzli, Mudathir Mohamed
## Copyright (c) 2009-2018 by the authors listed in the file AUTHkinds.OrS
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/sygus-grammar.py b/examples/api/python/sygus-grammar.py
index 1410e6739..881e488a7 100644
--- a/examples/api/python/sygus-grammar.py
+++ b/examples/api/python/sygus-grammar.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Yoni Zohar, Mudathir Mohamed
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
diff --git a/examples/api/python/sygus-inv.py b/examples/api/python/sygus-inv.py
index ac28f8f1b..9d2216bef 100644
--- a/examples/api/python/sygus-inv.py
+++ b/examples/api/python/sygus-inv.py
@@ -4,7 +4,7 @@
## Top contributors (to current version):
## Yoni Zohar, Mudathir Mohamed
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback