minisat_derivation.cpp File Reference

MiniSat proof logging. More...

#include "minisat_derivation.h"
#include "minisat_solver.h"
#include "sat_proof.h"
#include <set>
#include <iostream>

Go to the source code of this file.

---

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.cpp.