diff options
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 |