SemOpt
0.2alpha5-SCC
|
#include <cmath>
#include <cstdio>
#include <fstream>
#include <cstdlib>
#include <stdlib.h>
#include <vector>
#include <time.h>
#include <algorithm>
#include <iostream>
#include <sstream>
#include <cstring>
#include <string>
#include <cassert>
#include <set>
#include "AF.h"
#include "OrClause.h"
#include "SATFormulae.h"
#include "SetArguments.h"
#include "Labelling.h"
#include "Argument.h"
#include "Preferred.h"
Go to the source code of this file.
Variables | |
bool | debug |
Configuration variables. |
Definition in file semopt.h.