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));