diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-10 08:01:00 -0700 |
| commit | c645bac3663c265470024b44ed91b0afdbe59b88 (patch) | |
| tree | f213e6bff5697e1ffae3cc95b874b924dfad6ffb /copyright.txt | |
| parent | 9d6b12ddfdeda36038441520af66e0c20297bcb7 (diff) | |
| download | abc-c645bac3663c265470024b44ed91b0afdbe59b88.tar.gz abc-c645bac3663c265470024b44ed91b0afdbe59b88.tar.bz2 abc-c645bac3663c265470024b44ed91b0afdbe59b88.zip | |
Version abc80410
Diffstat (limited to 'copyright.txt')
| -rw-r--r-- | copyright.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/copyright.txt b/copyright.txt index 121d63e8..f99ef9ad 100644 --- a/copyright.txt +++ b/copyright.txt @@ -1,3 +1,8 @@ +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 |