A project for solving unification problems modulo a theory of chaining.
chrisbouchard / bc-unify Goto Github PK
View Code? Open in Web Editor NEWA project for solving unification problems modulo a theory of chaining.
License: BSD 2-Clause "Simplified" License