Scavenger

A theorem prover based on the conflict resolution calculus

Name	Last commit	Last Update
doc		Loading commit data...
examples/problems		Loading commit data...
experiments/RefactoringOfVariables		Loading commit data...
project		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...
README.md		Loading commit data...
build.sbt		Loading commit data...
scalastyle-config.xml		Loading commit data...