/dports/devel/R-cran-Rcpp/Rcpp/ |
H A D | README.md | 122 on the [Rcpp Drat Repo](https://RcppCore.github.io/drat/). Versions from a 123 [drat](https://github.com/eddelbuettel/drat) repo can be installed either by 124 just temporarily setting the [drat](https://github.com/eddelbuettel/drat) repo as in 127 install.packages("Rcpp", repos="https://RcppCore.github.io/drat") 130 or by setting a [drat](https://github.com/eddelbuettel/drat) repo more permanently 131 (as described in the documentation of the [drat](https://github.com/eddelbuettel/drat)
|
/dports/math/cvc4/CVC4-1.7/src/proof/ |
H A D | clausal_bitvector_proof.cpp | 84 drat::DratProof dratProof = in calculateAtomsInBitblastingProof() 85 drat::DratProof::fromBinary(serializedDratProof); in calculateAtomsInBitblastingProof() 151 drat::DratProof::fromBinary(d_binaryDratProof.str()).outputAsLfsc(os, 2); in printEmptyClauseProof()
|
/dports/emulators/mess/mame-mame0226/src/devices/machine/ |
H A D | i82439tx.cpp | 71 drat = 0x00; in device_reset() 244 return drat; in drat_r() 249 drat = data; in drat_w() 250 logerror("drat = %02x\n", drat); in drat_w()
|
H A D | i82439hx.cpp | 74 drat = 0x00; in device_reset() 263 return drat; in drat_r() 268 drat = data; in drat_w() 269 logerror("drat = %02x\n", drat); in drat_w()
|
/dports/emulators/mame/mame-mame0226/src/devices/machine/ |
H A D | i82439tx.cpp | 71 drat = 0x00; in device_reset() 244 return drat; in drat_r() 249 drat = data; in drat_w() 250 logerror("drat = %02x\n", drat); in drat_w()
|
H A D | i82439hx.cpp | 74 drat = 0x00; in device_reset() 263 return drat; in drat_r() 268 drat = data; in drat_w() 269 logerror("drat = %02x\n", drat); in drat_w()
|
/dports/graphics/R-cran-ggplot2/ggplot2/man/ |
H A D | vars.Rd | 40 p + wrap_by(drat = cut_number(drat, 3)) 60 p + wrap_cut(drat)
|
H A D | aes.Rd | 72 scatter_by(mtcars, disp, drat) 82 scatter_by(mtcars, disp, drat) 87 scatter_by(mtcars, cut3(disp), drat)
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/utils/minimal_cms/ |
H A D | minimal_cms.cpp | 36 const auto &drat = args[2]; 41 proof_stream->open(drat.c_str(), std::ofstream::out | std::ofstream::binary);
|
/dports/math/cryptominisat/cryptominisat-5.8.0/utils/minimal_cms/ |
H A D | minimal_cms.cpp | 36 const auto &drat = args[2]; in main() local 41 proof_stream->open(drat.c_str(), std::ofstream::out | std::ofstream::binary); in main()
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | clausecleaner.cpp | 54 (*solver->drat) << del << lit << ws.lit2() << fin; in clean_binary_implicit() 185 (*solver->drat) << deldelay << cl << fin; in clean_clause() 205 (*solver->drat) << findelay; in clean_clause() 211 (*solver->drat) << add << cl in clean_clause() 217 solver->drat->forget_delay(); in clean_clause()
|
/dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
H A D | clausecleaner.cpp | 54 (*solver->drat) << del << lit << ws.lit2() << fin; in clean_binary_implicit() 185 (*solver->drat) << deldelay << cl << fin; in clean_clause() 205 (*solver->drat) << findelay; in clean_clause() 211 (*solver->drat) << add << cl in clean_clause() 217 solver->drat->forget_delay(); in clean_clause()
|
/dports/math/z3/z3-z3-4.8.13/src/sat/ |
H A D | sat_drat.h | 63 class drat { 120 drat(solver& s); 121 ~drat();
|
/dports/net/serveez/serveez-0.2.2/test/ |
H A D | t008 | 84 (define (drat! s . args) 90 (or ts (drat! "UDP oneshot(s) failed")) 94 (drat! "object property on socket disappeared -- see ~A"
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
H A D | sat_drat.h | 63 class drat { 120 drat(solver& s); 121 ~drat();
|
H A D | sat_solver_core.h | 28 class drat; variable 100 virtual drat* get_drat_ptr() { return nullptr; } in get_drat_ptr()
|
/dports/devel/p5-Type-Tiny/Type-Tiny-1.012004/t/20-unit/Error-TypeTiny/ |
H A D | basic.t | 42 my $e3 = exception { Error::TypeTiny::croak('oh %s', 'drat') }; 44 is($e3->message, 'oh drat', '$e3->message (set by croak)');
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/scripts/fuzz/ |
H A D | fuzz_test.py | 475 if self.drat: 706 self.drat = self.num_threads == 1 and (random.randint(0, 10) < 5) 713 self.only_sampling = random.choice([True, False, False, False, False]) and not self.drat 716 self.drat = False 720 self.drat = False 725 if self.drat: 735 if self.drat: 746 if not self.drat and not self.only_sampling and not self.dump_red: 805 self.drat = False
|
/dports/math/cryptominisat/cryptominisat-5.8.0/scripts/fuzz/ |
H A D | fuzz_test.py | 475 if self.drat: 706 self.drat = self.num_threads == 1 and (random.randint(0, 10) < 5) 713 self.only_sampling = random.choice([True, False, False, False, False]) and not self.drat 716 self.drat = False 720 self.drat = False 725 if self.drat: 735 if self.drat: 746 if not self.drat and not self.only_sampling and not self.dump_red: 805 self.drat = False
|
/dports/lang/yorick/yorick-y_2_2_04/distribs/yorick/ |
H A D | Makefile | 47 PORTDOCS= FILE_FORMATS README drat.doc drat.tex graph.doc hex.doc \
|
/dports/lang/yorick/yorick-y_2_2_04/yorick/ |
H A D | Makefile | 26 DIST_LIBS=-L../drat -ldrat -L../hex -lhex 27 DIST_DIRS=../drat ../hex 29 IF_EXE=drat hex 50 Y_LDIR=-L../drat -L../hex
|
/dports/www/R-cran-httpuv/httpuv/tests/testthat/apps/content/ |
H A D | mtcars.csv | 1 "mpg","cyl","disp","hp","drat","wt","qsec","vs","am","gear","carb"
|
/dports/textproc/R-cran-readr/readr/inst/extdata/ |
H A D | mtcars.csv | 1 "mpg","cyl","disp","hp","drat","wt","qsec","vs","am","gear","carb"
|
/dports/textproc/R-cran-vroom/vroom/inst/extdata/ |
H A D | mtcars-6.csv | 1 model,mpg,cyl,disp,hp,drat,wt,qsec,vs,am,gear,carb
|
/dports/math/R/R-4.1.2/src/library/datasets/data/ |
H A D | mtcars.R | 11 ), drat = c(3.9, 3.9, 3.85, 3.08, 3.15, 2.76, 3.21, 3.69, 3.92, 3.92, 3.92, nameattr in c
|