mirror of
https://github.com/Z3Prover/z3
synced 2025-08-01 08:53:18 +00:00
add copyright
This commit is contained in:
parent
2c9e272225
commit
f8e7dd6052
1 changed files with 1 additions and 0 deletions
|
@ -12,6 +12,7 @@ Abstract:
|
|||
Author:
|
||||
|
||||
Leonardo de Moura (leonardo) 2006-09-12.
|
||||
Chuyue Sun (liviasun) 2024-07-18.
|
||||
|
||||
Revision History:
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue