conjure_core/rules/
cnf.rs

1/***********************************************************************************/
2/*        This file contains rules for converting logic expressions to CNF         */
3/***********************************************************************************/
4
5use conjure_core::rule_engine::register_rule_set;
6use conjure_core::solver::SolverFamily;
7
8register_rule_set!("CNF", ("Base"), (SolverFamily::SAT));