#include "../include/Mgr.h"

#include <iostream>

using namespace std;

int main(int argc, char* argv[])
{
	if (argc < 2)
	{
		cout << "Expected file name" << endl;
		return 0;
	}
	
	BDD bdd = m.bddOne(); // replace by desired expression

	m.storeBDD(bdd, argv[1]);
}