A library for Bounded Rigid E-Unification. It is available as a external Scala library.
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
