yoplNo dependency mini-library: unification, deep equivalence, deep cloning, logical solver.logic programmingsolverlogic solver1.1.3 • Published 3 years ago