| /dports/math/eprover/eprover-E-2.0/PYTHON/ |
| H A D | e_buffy.py | 94 def run_e_classify(prover, options, timelimit, problem): argument
115 def run_e(prover, options, timelimit, problem): argument
139 prover = "/Users/schulz/SOURCES/Projects/E/PROVER/eprover" variable
|
| H A D | e_ltb_runner.py | 95 def run_e(prover, timelimit, problem): argument
126 prover = "eprover" variable
136 prover = args[2] variable
|
| H A D | e_ltb_runnerj5.py | 110 def run_e(prover, filter, timelimit, problem): argument
154 prover = "eprover" variable
162 prover = args[1] variable
|
| H A D | e_ltb_runner22.py | 106 def run_e(prover, filter, timelimit, problem): argument
150 prover = "eprover" variable
160 prover = args[2] variable
|
| H A D | pylib_econf.py | 177 def command(self, prover, options, prob, timelimit, rawtime=False): argument
|
| H A D | pylib_erun.py | 199 def __init__(self, key, config, prover, args, problem, time, argument
|
| /dports/lang/swi-pl/swipl-8.2.3/bench/ |
| H A D | prover.pl | 22 prover :- problem(_, P, C), label
|
| /dports/finance/chiapos/chiapos-1.0.3/hellman_example/ |
| H A D | cli.cpp | 118 DiskProver prover(filename); in main() local
170 DiskProver prover(filename); in main() local
|
| /dports/finance/chiapos/chiapos-1.0.3/src/ |
| H A D | cli.cpp | 174 DiskProver prover(filename); in main() local
243 DiskProver prover(filename); in main() local
|
| /dports/cad/verilator/verilator-4.216/test_regress/t/ |
| H A D | t_math_cmp.v | 72 module prover ( module
|
| /dports/math/eprover/eprover-E-2.0/PROVER/ |
| H A D | checkproof.c | 129 ProverType prover = EProver; variable
|
| H A D | e_deduction_server.c | 141 char *prover = "eprover"; in main() local
|
| H A D | e_ltb_runner.c | 155 char *prover = "eprover"; in main() local
|
| H A D | e_server.c | 193 char *prover = "eprover"; variable
|
| /dports/math/eprover/eprover-E-2.0/PCL2/ |
| H A D | pcl_proofcheck.c | 696 prover, char* executable, long time_limit) in PCLStepCheck()
755 long PCLProtCheck(PCLProt_p prot, ProverType prover, char* executable, in PCLProtCheck()
|
| /dports/textproc/py-nltk/nltk-3.4.1/nltk/inference/ |
| H A D | api.py | 272 def __init__(self, prover, goal=None, assumptions=None): argument
518 def __init__(self, prover, modelbuilder): argument
565 def __init__(self, prover, modelbuilder, goal=None, assumptions=None): argument
|
| H A D | prover9.py | 78 def __init__(self, goal=None, assumptions=None, timeout=60, prover=None): argument
|
| H A D | resolution.py | 113 def __init__(self, goal=None, assumptions=None, prover=None): argument
|
| H A D | tableau.py | 416 def __init__(self, goal=None, assumptions=None, prover=None): argument
|
| /dports/net/isc-dhcp44-relay/dhcp-4.4.2-P1/common/ |
| H A D | tr.c | 312 struct routing_entry **prover = &routing_info; in expire_routes() local
|
| /dports/net/isc-dhcp44-client/dhcp-4.4.2-P1/common/ |
| H A D | tr.c | 312 struct routing_entry **prover = &routing_info; in expire_routes() local
|
| /dports/net/isc-dhcp44-server/dhcp-4.4.2-P1/common/ |
| H A D | tr.c | 312 struct routing_entry **prover = &routing_info; in expire_routes() local
|
| /dports/math/eprover/eprover-E-2.0/CONTROL/ |
| H A D | cco_proc_ctrl.c | 167 EPCtrl_p ECtrlCreate(char* prover, char* name, in ECtrlCreate()
|
| /dports/security/keybase/client-v5.7.1/osx/KBKit/KBKit/UI/User/ |
| H A D | KBUserProfileView.m | 46 @property KBProver *prover; property
|
| /dports/finance/chiapos/chiapos-1.0.3/tests/ |
| H A D | test.cpp | 498 DiskProver prover(filename); in TestProofOfSpace() local
|