sweetpea.tests.test_logic module

sweetpea.tests.test_logic.test_to_cnf_naive()

sweetpea.tests.test_logic.test_to_cnf_switching()

sweetpea.tests.test_logic.test_to_cnf_tseitin()

sweetpea.tests.test_logic.test_cnf_to_json()

sweetpea.tests.test_logic.test_eliminate_iff()

sweetpea.tests.test_logic.test_apply_demorgan()

sweetpea.tests.test_logic.test_distribute_ors_naive()

sweetpea.tests.test_logic.test_distribute_ors_switching()

sweetpea.tests.test_logic.test_tseitin_rep_variables()

sweetpea.tests.test_logic.test_tseitin_rep_not()

sweetpea.tests.test_logic.test_tseitin_rep_if()

sweetpea.tests.test_logic.test_tseitin_rep_iff()

sweetpea.tests.test_logic.test_tseitin_rep_and()

sweetpea.tests.test_logic.test_tseitin_rep_or()

sweetpea.tests.test_logic.test_tseitin_cache()