external_sat.h File Reference

#include "cnf_clause_list.h"

Include dependency graph for external_sat.h:

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

Go to the source code of this file.

Classes
class	external_satt

Detailed Description

Allows calling an external SAT solver to allow faster integration of newer SAT solvers

Author

Francis Botero fbbot.nosp@m.ero@.nosp@m.amazo.nosp@m.n.co.nosp@m.m

Definition in file external_sat.h.