minisat_varorder.h File Reference

MiniSat decision heuristics. More...

#include "minisat_types.h"
#include "minisat_heap.h"
#include <iostream>
#include <vector>

Go to the source code of this file.

Classes

• struct MiniSat::VarOrder_lt
• class MiniSat::VarOrder

Namespaces

• namespace MiniSat

---

Detailed Description

MiniSat decision heuristics.

Author: Alexander Fuchs

Created: Fri Sep 08 11:04:00 2006

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file minisat_varorder.h.