Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
bin
 
 
 
 
src
 
 
 
 
 
 
 
 
 
 

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

About

A library for Bounded Rigid E-Unification

Resources

Releases

No releases published

Packages

No packages published