yoplNo dependency mini-library: unification, deep equivalence, deep cloning, logical solver.logic programmingsolverlogic solver1.1.4 • Published 1 year ago