1 
/***********************************************************************************/
2 
/*        This file contains rules for converting logic expressions to CNF         */
3 
/***********************************************************************************/
4 

            

        

            

                5
            

            

                
            

            

                
use conjure_core::rule_engine::register_rule_set;

            

        

            

                6
            

            

                
            

            

                
use conjure_core::solver::SolverFamily;

            

        

            

                7
            

            

                
            

            

                

            

        

            

                8
            

            

                
            

            

                
register_rule_set!("CNF", 100, ("Base"), (SolverFamily::SAT));