A Swift Package Manager module containing the DEPQBF QBF solver library by Florian Lonsing.
.Package(url: "https://github.com/aweinert/CDEPQBF.git", majorVersion: 1)
A Swift Package Manager module containing the DEPQBF QBF solver library by Florian Lonsing.
.Package(url: "https://github.com/aweinert/CDEPQBF.git", majorVersion: 1)