GitHub repository: tfiedor/dWiNA
Primary language: C++
Description: Implementation of decision procedure for WS1S logic