https://github.com/uuverifiers/uppsat
Tip revision: 3a2476a13d72278ba1c696e5f655455e3ac4c2ab authored by Peter Backeman on 13 April 2021, 07:37:37 UTC
Add timeout-check at z3 solver result
Add timeout-check at z3 solver result
Tip revision: 3a2476a
| File | Mode | Size |
|---|---|---|
| .settings | ||
| examples | ||
| ijcar-2018 | ||
| lib | ||
| project | ||
| results | ||
| src | ||
| .classpath | -rw-r--r-- | 484 bytes |
| .gitignore | -rw-r--r-- | 586 bytes |
| .project | -rw-r--r-- | 360 bytes |
| .travis.yml | -rw-r--r-- | 393 bytes |
| HeaderSuggestion.txt | -rw-r--r-- | 837 bytes |
| LICENSE | -rw-r--r-- | 34.3 KB |
| Makefile | -rw-r--r-- | 60 bytes |
| README.md | -rw-r--r-- | 1.5 KB |
| TODO.txt | -rw-r--r-- | 18.1 KB |
| build.sbt | -rw-r--r-- | 376 bytes |
| build.xml | -rw-r--r-- | 3.6 KB |
| output | -rw-r--r-- | 71 bytes |
| todo.org | -rw-r--r-- | 472 bytes |
| uppsat | -rwxr-xr-x | 32 bytes |
| uppsat.sh | -rwxr-xr-x | 88 bytes |
