GitHub repository: maxbannach/Jatatosk
Primary language: Java
Created: 2018-04-21T23:14:06Z
Description: A lightweight model-checker for a small fragment of MSO.