1 2 3 4 5 6 7 8 9 10 11 12
#ifndef MAXPP_UTILITY_HPP #define MAXPP_UTILITY_HPP #include <iostream> #include <random> #include "global.hpp" namespace maxPreprocessor { int litFromDimacs(int lit); int litToDimacs(int lit); } #endif