painless.hpp

#pragma once
 
#include "solvers/SolverInterface.hpp"
 
#include <atomic>
#include <condition_variable>
#include <mutex>
#include <vector>
 
extern std::atomic<bool> globalEnding;
 
extern std::mutex mutexGlobalEnd;
 
extern std::condition_variable condGlobalEnd;
 
extern std::atomic<SatResult> finalResult;
 
extern std::vector<int> finalModel;
 
extern std::atomic<bool> dist;