SAT Minimizer. More...

#include <map>
#include <util/message.h>
#include "literal.h"

Include dependency graph for prop_minimize.h:

This graph shows which files directly or indirectly include this file:

Classes
class	prop_minimizet
	Computes a satisfying assignment of minimal cost according to a const function using incremental SAT. More...

struct	prop_minimizet::objectivet

Detailed Description

SAT Minimizer.

Definition in file prop_minimize.h.

Classes