Minisat.h File Reference

Declaration of class Minisat. More...

#include <ogdf/lib/minisat/core/Solver.h>
#include <ogdf/lib/minisat/core/SolverTypes.h>
#include <ogdf/basic/basic.h>
#include <fstream>
#include <iostream>
#include <sstream>
#include <string>
#include <vector>
#include <stdarg.h>
#include <stdio.h>

Go to the source code of this file.

Classes
class	Minisat::Clause
	Represents a simple class for clause storage. More...
class	Minisat::Formula
	The Formula class. More...
class	Minisat::Model
	Represents a simple class for model storage. More...

Namespaces
	Minisat

Typedefs
using	Minisat::clause = Clause *

Detailed Description

Declaration of class Minisat.

Author

Eldor Malessa, Robert Zeranski

License:

This file is part of the Open Graph Drawing Framework (OGDF).

Copyright (C)
See README.md in the OGDF root directory for details.

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License Version 2 or 3 as published by the Free Software Foundation; see the file LICENSE.txt included in the packaging of this file for details.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, see http://www.gnu.org/copyleft/gpl.html

Definition in file Minisat.h.