aweinert / CDEPQBF

CDEPQBF

A Swift Package Manager module containing the DEPQBF QBF solver library by Florian Lonsing.

Installation

Swift Package Manager

.Package(url: "https://github.com/aweinert/CDEPQBF.git", majorVersion: 1)