GitHub repository: preusser/qbm
Primary language: C++
Created: 2016-03-13T12:57:20Z
Description: Quantified Boolean Matching