diff options
| -rw-r--r-- | src/base/main/main.c | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/base/main/main.c b/src/base/main/main.c index 1572af91..9194e9f1 100644 --- a/src/base/main/main.c +++ b/src/base/main/main.c @@ -1,3 +1,29 @@ +/*//////////////////////////////////////////////////////////////////////////// + +ABC: System for Sequential Synthesis and Verification + +http://www.eecs.berkeley.edu/~alanmi/abc/ + +Copyright (c) The Regents of the University of California. All rights reserved. + +Permission is hereby granted, without written agreement and without license or +royalty fees, to use, copy, modify, and distribute this software and its +documentation for any purpose, provided that the above copyright notice and +the following two paragraphs appear in all copies of this software. + +IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR +DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT OF +THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF +CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, +BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, +AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE MAINTENANCE, +SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS. + +////////////////////////////////////////////////////////////////////////////*/ + /**CFile**************************************************************** FileName [main.c] @@ -18,6 +44,7 @@ ***********************************************************************/ + #ifdef ABC_PYTHON_EMBED #include <Python.h> #endif /* ABC_PYTHON_EMBED */ |