
Scavenger
A theorem prover based on the conflict resolution calculus
-
Vlad authored
A theorem prover based on the conflict resolution calculus
Name |
Last commit
|
Last update |
---|---|---|
cli/src/main/scala/org/aossie/scavenger | Loading commit data... | |
core/src/main/scala/org/aossie/scavenger | Loading commit data... | |
doc | Loading commit data... | |
examples/problems | Loading commit data... | |
experiments/RefactoringOfVariables | Loading commit data... | |
project | Loading commit data... | |
prover/src | Loading commit data... | |
res | Loading commit data... | |
src | Loading commit data... | |
starexec | Loading commit data... | |
.gitignore | Loading commit data... | |
.gitlab-ci.yml | Loading commit data... | |
.travis.yml | Loading commit data... | |
CHANGELOG | Loading commit data... | |
CONTRIBUTING.md | Loading commit data... | |
LICENSE | Loading commit data... | |
PUBLISH.md | Loading commit data... | |
README.md | Loading commit data... | |
build.sbt | Loading commit data... | |
scalastyle-config.xml | Loading commit data... |