Recorder_standard.hpp File Reference

#include <fstream>
#include "Solver.hpp"
#include "Recorder.hpp"

Go to the source code of this file.

Classes
class	mango::Recorder_standard

Namespaces
	mango
	This C++ namespace contains everything related to MANGO.