BitBully.cpp File Reference

Translation-unit anchor for the BitBully::BitBully solver. More...

#include "BitBully.h"

Include dependency graph for BitBully.cpp:

Go to the source code of this file.

Detailed Description

Translation-unit anchor for the BitBully::BitBully solver.

The solver is implemented entirely inside the header; this file exists so the symbols are emitted in a single translation unit when the static library is linked.

Definition in file BitBully.cpp.