This project is mirrored from https://:*****@github.com/jens-classen/vergo.
Pull mirroring updated .
- 05 Oct, 2020 2 commits
-
-
Jens Claßen authored -
Jens Claßen authored
Updated README to reflect usage of most recent versions of NuSMV model checker and Konclude description logic reasoner.
-
- 18 Aug, 2020 2 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
- 01 Aug, 2020 1 commit
-
-
Jens Claßen authored
-
- 27 Jul, 2020 2 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
- 20 Nov, 2019 1 commit
-
-
Jens Claßen authored
-
- 14 Nov, 2019 2 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
- 01 Aug, 2019 1 commit
-
-
Jens Claßen authored
-
- 31 Jul, 2019 1 commit
-
-
Jens Claßen authored
-
- 24 May, 2019 1 commit
-
-
Jens Claßen authored
-
- 03 May, 2019 3 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
- 01 May, 2019 1 commit
-
-
Jens Claßen authored
-
- 27 Nov, 2018 1 commit
-
-
Jens Claßen authored
Added Vampire as alternative FOL theorem prover. Currently produces error 'Not enough resources: open_files'.
-
- 16 Feb, 2018 1 commit
-
-
Jens Claßen authored
-
- 04 Aug, 2017 1 commit
-
-
Jens Claßen authored
-
- 01 Aug, 2017 1 commit
-
-
Jens Claßen authored
-
- 02 Nov, 2015 1 commit
-
-
Jens Claßen authored
-
- 07 Sep, 2015 2 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
- 27 Aug, 2015 1 commit
-
-
Jens Claßen authored
-
- 06 Mar, 2015 1 commit
-
-
Jens Claßen authored
-