File name		Description
Binary_addAtMostOne_ISolver_IVecInt		p being the smaller integer greater than log_2(n), this encoding adds p
		variables and n*p clauses.
Binary_addAtMost_ISolver_IVecInt_int		
Binary_addExactlyOne_ISolver_IVecInt		
Binary_addExactly_ISolver_IVecInt_int		
Binomial_addAtMost_ISolver_IVecInt_int		
Binomial_addAtMostOne_ISolver_IVecInt		
Binomial_addExactlyOne_ISolver_IVecInt		
Binomial_addExactly_ISolver_IVecInt_int		
EncodingStrategy_toString		
Ladder_addExactlyOne_ISolver_IVecInt		
Commander_addAtMostOne_ISolver_IVecInt		In this encoding, variables are partitioned in groups. Kwon and Klieber
		claim that the fewest clauses are produced when the size of the groups is
		3, thus leading to 3.5 clauses and introducing n/2 variables.
Commander_addAtMostOne_ISolver_IVecInt_int		
Commander_addExactlyOne_ISolver_IVecInt		
Commander_addExactly_ISolver_IVecInt_int		
EncodingStrategyAdapter_addAtLeast_ISolver_IVecInt_int		
EncodingStrategyAdapter_addAtLeastOne_ISolver_IVecInt		
EncodingStrategyAdapter_addAtMost_ISolver_IVecInt_int		
EncodingStrategyAdapter_addAtMostOne_ISolver_IVecInt		
EncodingStrategyAdapter_addExactly_ISolver_IVecInt_int		
EncodingStrategyAdapter_addExactlyOne_ISolver_IVecInt		
EncodingStrategyAdapter_toString		
Policy_getAdapterFromEncodingName_EncodingStrategy		
Policy_getEncodingTypeFromAdapter_EncodingStrategyAdapter		
Policy_getAtMostOneEncoding		
Policy_setAtMostOneEncoding_EncodingStrategyAdapter		
Policy_setAtMostOneEncoding_EncodingStrategy		
Policy_getAtMostKEncoding		
Policy_setAtMostKEncoding_EncodingStrategyAdapter		
Policy_setAtMostKEncoding_EncodingStrategy		
Policy_getExactlyOneEncoding		
Policy_setExactlyOneEncoding_EncodingStrategyAdapter		
Policy_setExactlyOneEncoding_EncodingStrategy		
Policy_getExactlyKEncoding		
Policy_setExactlyKEncoding_EncodingStrategyAdapter		
Policy_setExactlyKEncoding_EncodingStrategy		
Policy_getAtLeastOneEncoding		
Policy_setAtLeastOneEncoding_EncodingStrategyAdapter		
Policy_setAtLeastOneEncoding_EncodingStrategy		
Policy_getAtLeastKEncoding		
Policy_setAtLeastKEncoding_EncodingStrategyAdapter		
Policy_setAtLeastKEncoding_EncodingStrategy		
Policy_addAtMost_ISolver_IVecInt_int		
Policy_addExactly_ISolver_IVecInt_int		
Policy_addAtLeast_ISolver_IVecInt_int		
Policy_toString		
Sequential_addAtMost_ISolver_IVecInt_int		This encoding adds (n-1)*k variables (n is the number of variables in the
		at most constraint and k is the degree of the constraint) and 2nk+n-3k-1
		clauses.
Sequential_addAtMostOne_ISolver_IVecInt		
Sequential_addExactlyOne_ISolver_IVecInt		
Sequential_addExactly_ISolver_IVecInt_int		
Product_addAtMostNonOpt_ISolver_IVecInt_int		
Product_addAtMostOne_ISolver_IVecInt		
Product_decompositionBase10VersBaseP_int_int_int		
Product_recompositionBase10DepuisBaseP_int[]_int		
Product_addExactlyOne_ISolver_IVecInt		
Product_addExactly_ISolver_IVecInt_int		
