GitHub repository: tfiedor/gaston
Primary language: C++
Created: 2016-04-09T08:46:21Z
Description: Novel decision procedure for WS1S logic