Home
last modified time | relevance | path

Searched refs:drat (Results 26 – 50 of 309) sorted by relevance

12345678910>>...13

/dports/devel/R-cran-Rcpp/Rcpp/
H A DREADME.md122 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 Dclausal_bitvector_proof.cpp84 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 Di82439tx.cpp71 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 Di82439hx.cpp74 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 Di82439tx.cpp71 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 Di82439hx.cpp74 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 Dvars.Rd40 p + wrap_by(drat = cut_number(drat, 3))
60 p + wrap_cut(drat)
H A Daes.Rd72 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 Dminimal_cms.cpp36 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 Dminimal_cms.cpp36 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 Dclausecleaner.cpp54 (*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 Dclausecleaner.cpp54 (*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 Dsat_drat.h63 class drat {
120 drat(solver& s);
121 ~drat();
/dports/net/serveez/serveez-0.2.2/test/
H A Dt00884 (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 Dsat_drat.h63 class drat {
120 drat(solver& s);
121 ~drat();
H A Dsat_solver_core.h28 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 Dbasic.t42 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 Dfuzz_test.py475 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 Dfuzz_test.py475 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 DMakefile47 PORTDOCS= FILE_FORMATS README drat.doc drat.tex graph.doc hex.doc \
/dports/lang/yorick/yorick-y_2_2_04/yorick/
H A DMakefile26 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 Dmtcars.csv1 "mpg","cyl","disp","hp","drat","wt","qsec","vs","am","gear","carb"
/dports/textproc/R-cran-readr/readr/inst/extdata/
H A Dmtcars.csv1 "mpg","cyl","disp","hp","drat","wt","qsec","vs","am","gear","carb"
/dports/textproc/R-cran-vroom/vroom/inst/extdata/
H A Dmtcars-6.csv1 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 Dmtcars.R11 ), 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

12345678910>>...13