diff options
Diffstat (limited to 'examples/api/python')
-rw-r--r-- | examples/api/python/CMakeLists.txt | 2 | ||||
-rw-r--r-- | examples/api/python/bitvectors.py | 2 | ||||
-rw-r--r-- | examples/api/python/bitvectors_and_arrays.py | 2 | ||||
-rw-r--r-- | examples/api/python/combination.py | 2 | ||||
-rw-r--r-- | examples/api/python/datatypes.py | 2 | ||||
-rw-r--r-- | examples/api/python/exceptions.py | 2 | ||||
-rw-r--r-- | examples/api/python/extract.py | 2 | ||||
-rw-r--r-- | examples/api/python/floating_point.py | 2 | ||||
-rw-r--r-- | examples/api/python/helloworld.py | 2 | ||||
-rw-r--r-- | examples/api/python/linear_arith.py | 2 | ||||
-rw-r--r-- | examples/api/python/sequences.py | 2 | ||||
-rw-r--r-- | examples/api/python/sets.py | 2 | ||||
-rw-r--r-- | examples/api/python/strings.py | 2 | ||||
-rw-r--r-- | examples/api/python/sygus-fun.py | 2 | ||||
-rw-r--r-- | examples/api/python/sygus-grammar.py | 2 | ||||
-rw-r--r-- | examples/api/python/sygus-inv.py | 2 |
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. |