Home
last modified time | relevance | path

Searched refs:PROPOSITIONAL (Results 1 – 9 of 9) sorted by relevance

/dports/math/eprover/eprover-E-2.0/PROPOSITIONAL/
H A DMakefile18 PROJECT = PROPOSITIONAL
/dports/misc/otter/otter-3.3f/source/
H A Dcos.h105 PROPOSITIONAL, /* some propositional optimizations */ enumerator
H A Doptions.c274 Flags[PROPOSITIONAL].name = "propositional"; in init_options()
275 Flags[PROPOSITIONAL].val = 0; in init_options()
787 case PROPOSITIONAL: in dependent_flags()
H A Dmisc.c2199 auto_change_flag(stdout, PROPOSITIONAL, 1); in automatic_1_settings()
2360 auto_change_flag(stdout, PROPOSITIONAL, 1); in automatic_2_settings()
H A Dclause.c1357 if (Flags[PROPOSITIONAL].val) in forward_subsume()
2424 if (Flags[PROPOSITIONAL].val) { in lit_compare()
/dports/math/eprover/eprover-E-2.0/
H A DMakefile29 LIBS = BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN \
H A DREADME239 PROPOSITIONAL:
/dports/math/eprover/eprover-E-2.0/PROVER/
H A DMakefile102 EDPLL = edpll.o ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a\
/dports/games/connectagram/connectagram-1.2.11/data/en/
H A Dwords49717 PROPOSITIONAL