@hackage / ifscs

An inductive-form set constraint solver