SackAb is a developer of system tools.
Uses the Deepfinesse algorithm to calculate makeable contracts.