minisat_derivation.h File Reference

MiniSat proof logging. More...

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

Include dependency graph for minisat_derivation.h:

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

Go to the source code of this file.

Namespaces

• namespace MiniSat

Classes

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

---

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.

---