Implementation of decision procedure for WSkS logic
Primary LanguageC++
This repository is not active