cprover
minimize.cpp File Reference

Minimize some target function incrementally. More...

#include "minimize.h"
#include <util/threeval.h>
#include "literal_expr.h"
Include dependency graph for minimize.cpp:

Go to the source code of this file.

Detailed Description

Minimize some target function incrementally.

Definition in file minimize.cpp.