miniKanren with conflict-driven clause learning using a SAT solver - View it on GitHub