diff options
Diffstat (limited to 'src/api/python/genkinds.py')
-rw-r--r--[-rwxr-xr-x] | src/api/python/genkinds.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/api/python/genkinds.py b/src/api/python/genkinds.py index 77b168dea..6f54657a8 100755..100644 --- a/src/api/python/genkinds.py +++ b/src/api/python/genkinds.py @@ -1,4 +1,14 @@ #!/usr/bin/env python +##################### +## genkinds.py +## 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 +## 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. +## """ This script reads CVC4/src/api/cvc4cppkind.h and generates .pxd and .pxi files which declare all the CVC4 kinds and |