https://github.com/Z3Prover/z3
| File | Mode | Size |
|---|---|---|
| .github | ||
| cmake | ||
| contrib | ||
| doc | ||
| docker | ||
| examples | ||
| noarch | ||
| resources | ||
| scripts | ||
| src | ||
| .dockerignore | -rw-r--r-- | 39 bytes |
| .gitattributes | -rw-r--r-- | 138 bytes |
| .gitignore | -rw-r--r-- | 1.6 KB |
| CMakeLists.txt | -rw-r--r-- | 27.2 KB |
| LICENSE.txt | -rw-r--r-- | 1.1 KB |
| README-CMake.md | -rw-r--r-- | 18.0 KB |
| README.md | -rw-r--r-- | 7.9 KB |
| RELEASE_NOTES | -rw-r--r-- | 46.1 KB |
| azure-pipelines.yml | -rw-r--r-- | 10.1 KB |
| configure | -rwxr-xr-x | 418 bytes |
| z3.pc.cmake.in | -rw-r--r-- | 352 bytes |
