Scavenger

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...