BREU

A library for Bounded Rigid E-Unification. It is available as a external Scala library.

Installation instructions

To compile: clone repository and use sbt to compile and run. Use "sbt assembly" to create external jar.

Coming soon...

[ ] Add precompile jar-file [ ] Scaladoc documentation

-Peter Backeman, Philipp Rümmer: Theorem Proving with Bounded Rigid E-Unification. CADE 2015: 572-587

-Peter Backeman, Philipp Rümmer: Efficient Algorithms for Bounded Rigid E-unification. TABLEAUX 2015: 70-85

Name		Name	Last commit message	Last commit date
Latest commit History 51 Commits
bin		bin
examples		examples
src		src
.travis.yml		.travis.yml
BREU.sh		BREU.sh
BREUtest.scala		BREUtest.scala
README.md		README.md
build.sbt		build.sbt