DPLL+BCP+CDCL classes

Classes
class	quanton
	Class for CNF variables (each variable has a positon and a negaton). More...
class	neuron
	Class for CNF clause behavior. So there is one neuron per clause. More...
class	prop_signal
	Class for representing BCP propagation data. More...
class	deduction
	Class that holds the result of analyzing (doing resolution) of a conflict. More...
class	deducer
	Class that holds the data used to analyze a conflict. More...
class	leveldat
	Class that holds the data of a level. More...
class	brain
	Class that holds all data used to solve a particular CNF instance. More...

Detailed Description

This group corresponds to all classes relating to DPLL+BCP+CDCL processing.