https://github.com/CVC4/CVC4
Tip revision: b67060c7b9c93ae66dd38c77837363ddfb9c9780 authored by Andrew Reynolds on 29 February 2024, 17:43:10 UTC
Simplify and enable `sygus-repair-const` by default (#10438)
Simplify and enable `sygus-repair-const` by default (#10438)
Tip revision: b67060c
| File | Mode | Size |
|---|---|---|
| .github | ||
| cmake | ||
| contrib | ||
| docs | ||
| examples | ||
| include | ||
| licenses | ||
| proofs | ||
| src | ||
| test | ||
| .clang-format | -rw-r--r-- | 942 bytes |
| .gitignore | -rw-r--r-- | 168 bytes |
| .mailmap | -rw-r--r-- | 1.5 KB |
| .style.yapf | -rw-r--r-- | 144 bytes |
| AUTHORS | -rw-r--r-- | 2.1 KB |
| CMakeLists.txt | -rw-r--r-- | 25.9 KB |
| CONTRIBUTING.md | -rw-r--r-- | 2.4 KB |
| COPYING | -rw-r--r-- | 5.1 KB |
| INSTALL.rst | -rw-r--r-- | 17.7 KB |
| NEWS.md | -rw-r--r-- | 19.5 KB |
| README.md | -rw-r--r-- | 3.2 KB |
| THANKS | -rw-r--r-- | 2.1 KB |
| configure.sh | -rwxr-xr-x | 13.0 KB |
