leastfixedpoint

Archived tweet #11262 from the @leastfixedpoint Twitter Archive
@DRMacIver Sure enough, looks like FASP might be pretty aggressive (per the abstract to harvest.usask.ca/handle/10388/1…, at least...). Makes sense that it would be so. I wonder why tools like github.com/htcat/htcat don't fit the bill