4 ms·

How is this different from miniKanren? Isn't this logical programming? Or is it more of a simplex NSAT solver?