leastfixedpoint

Archived tweet #2029 from the @leastfixedpoint Twitter Archive
@squaremobius It's a generalised constraint solver as well. Also supports dependent reasoning.