Skip to content

Files

Latest commit

ba6f76b · May 7, 2018

History

History
21 lines (15 loc) · 686 Bytes

README.md

File metadata and controls

21 lines (15 loc) · 686 Bytes

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.

Usage instructions

Coming soon...

Future Work

[ ] Add precompile jar-file [ ] Scaladoc documentation

Publications

-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

Build Status