https://github.com/guidanoli/inf2217
INF2217 - Logic and Specification
https://github.com/guidanoli/inf2217
Last synced: 7 months ago
JSON representation
INF2217 - Logic and Specification
- Host: GitHub
- URL: https://github.com/guidanoli/inf2217
- Owner: guidanoli
- License: gpl-3.0
- Created: 2023-04-12T02:13:46.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2023-04-12T04:45:56.000Z (over 2 years ago)
- Last Synced: 2025-01-17T13:29:32.554Z (9 months ago)
- Language: OpenEdge ABL
- Size: 17.6 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# INF2217 - Logic and Specification
## Dependencies
* [Vampire](https://github.com/vprover/vampire) 4.7 (compiled with Z3 4.9.1.0)
### Compiling Vampire from source
1. Make sure you have `git`, `cmake` and `g++`
2. Clone the Vampire repository from GitHub
3. Recursively initialize and update any submodules
```sh
git submodule update --init --recursive
```
4. Compile the Z3 library
```sh
cmake -B z3/build && make -C z3/build -j `nproc`
```
5. Compile Vampire
```sh
cmake -B build && make -C build -j `nproc`
```
6. Ta-da! You have Vampire on `build/bin`.
### Obtaining Vampire binaries
See the [releases](https://github.com/vprover/vampire/releases) page on the official Vampire repository.