mirror of
https://github.com/Z3Prover/z3
synced 2026-03-01 11:16:54 +00:00
14 lines
256 B
JSON
14 lines
256 B
JSON
{
|
|
"compilerOptions": {
|
|
"target": "es2021",
|
|
"module": "commonjs",
|
|
"esModuleInterop": true,
|
|
"declaration": true,
|
|
"forceConsistentCasingInFileNames": true,
|
|
"strict": true,
|
|
"skipLibCheck": true
|
|
},
|
|
"exclude": [
|
|
"src"
|
|
]
|
|
}
|