HeuleVerwerCNFMethod.cpp File Reference

This file implements the Heule and Verwer method that relies on CNF SAT solver. More...

#include "gsjj/passive/CNF/HeuleVerwerCNFMethod.h"
#include <iostream>

Include dependency graph for HeuleVerwerCNFMethod.cpp:

Go to the source code of this file.

Namespaces
	gsjj
	The namespace of the library.
	gsjj::passive
	Defines the passive methods for automatically learning deterministic finite automata.
	gsjj::passive::CNF
	Contains every method that relies on a SAT solver with CNF clauses.

Detailed Description

This file implements the Heule and Verwer method that relies on CNF SAT solver.

Definition in file HeuleVerwerCNFMethod.cpp.