Searched refs:PROPOSITIONAL (Results 1 – 9 of 9) sorted by relevance
18 PROJECT = PROPOSITIONAL
105 PROPOSITIONAL, /* some propositional optimizations */ enumerator
274 Flags[PROPOSITIONAL].name = "propositional"; in init_options()275 Flags[PROPOSITIONAL].val = 0; in init_options()787 case PROPOSITIONAL: in dependent_flags()
2199 auto_change_flag(stdout, PROPOSITIONAL, 1); in automatic_1_settings()2360 auto_change_flag(stdout, PROPOSITIONAL, 1); in automatic_2_settings()
1357 if (Flags[PROPOSITIONAL].val) in forward_subsume()2424 if (Flags[PROPOSITIONAL].val) { in lit_compare()
29 LIBS = BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN \
239 PROPOSITIONAL:
102 EDPLL = edpll.o ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a\
49717 PROPOSITIONAL