GitHub repository: vincenzoml/MiniLogicA
Primary language: F#
Description: MiniLogicA: a spatial-logical minimizer