Scavenger

Scavenger

A theorem prover based on the conflict resolution calculus

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