#ifndef CONVERSIONS_H
#define CONVERSIONS_H

#include "util/bson2ksatClauseConverter.h"
#include "util/bson2ksatConverter.h"
#include "util/ksatClause2ministaClause.h"
#include "util/minisatStats2bson.h"
#include "util/minisatResult2bson.h"
#include "util/ksatModel2bson.h"

#endif //CONVERSIONS_H
