minisat_derivation.h File Reference

MiniSat proof logging. More...

#include "minisat_types.h"
#include <hash_map.h>
#include <hash_set.h>
#include <set>
#include <vector>
#include <deque>
#include <algorithm>
#include <string>

Go to the source code of this file.

Classes

• class MiniSat::Inference
• class MiniSat::Derivation

Namespaces

• namespace SAT
• namespace MiniSat

---

Detailed Description

MiniSat proof logging.

Author: Alexander Fuchs

Created: Sun Dec 07 11:09:00 2007

---

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_derivation.h.