Complexity and applied algorithms project

To compile, simply use the make command in the project root. It will automatically compile gengraph, SATan and glucose-syrup.

Usage: ./SATan mode type

Available modes: discrete, weighted

Available types for discrete: brute, bt, mst, sat

Available types for weighted: brute, bt, mst

Exemple: ./SATan discrete mst