surynek/sigmaSAT

An experimental package for Boolean formula preprocessing. This is rather a collection of functions than a standalone program. The goal of preprocessing is to generate a formula that is equisatisfiable but hopefully simpler than the input one. Believe it or not, the resulting formula is sometimes really simpler.

C++