BREU
Bounded Rigid E-Unification

Download - ePrincess


Binary distribution:bin (updated 2015-07-06)

Source code:src

CASC binary:bin

Tutorial


To try it out, download the bin-package above and run "./princess -CCU=table input.p" (where input.p is a problem in TPTP-format) to try the table procedure of BREU. There are several problems bundled with the solver. Please do not hesitate to contact me (Peter) if any questions, issues, bugs, etc.

Publications


  • CADE article