GitHub repository: ltentrup/quabs
Primary language: C
Created: 2018-02-20T09:39:41Z
Description: QuAbS is a circuit-based QBF solver