| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | candidate_rewrite_database.cpp | 114 Node solbr; in addTerm() local
118 solbr = d_ext_rewrite->extendedRewrite(solb); in addTerm()
123 solbr = Rewriter::rewrite(solb); in addTerm()
133 Node crr = solbr.eqNode(eq_solr).negate(); in addTerm()
234 Trace("sygus-rr-debug") << "; candidate #1 ext-rewrites to: " << solbr in addTerm()
|
| /dports/textproc/sv-mythes/sv-mythes-2008.06.10_1/ |
| H A D | th_sv_SE.idx | 11608 solbr�nd|359002
|
| H A D | th_sv_SE.dat | 2995 |solbr�nd
23212 solbr�nd|1
23219 |solbr�nd
|
| /dports/editors/texstudio/texstudio-4.1.2/utilities/dictionaries/ |
| H A D | da_DA-Danish.dic | 122554 solbrændt/39
122555 solbrændts/39
122556 solbrændte/39
122557 solbrændtes/39
122558 solbrændthed/44,10,39
|
| H A D | sv_FI-SwedishFinland.dic | 118956 solbränd/OQY
118957 solbrändhet/ADv
118958 solbränna/AEY
|
| H A D | sv_SV-Swedish.dic | 119199 solbränd/OQY
119200 solbrändhet/ADv
119201 solbränna/AEY
|
| /dports/www/dooble/dooble-2021.12.05/Dictionaries/da_DK/ |
| H A D | da_DK.dic | 127298 solbrændt/976
127299 solbrændte/976
127300 solbrændtes
127301 solbrændthed/193,70,976
127302 solbrændts/976
|
| /dports/mail/thunderbird-dictionaries/dictionaries/spell-sv.xpi/ |
| H A D | sv.dic | 19520 solbr�nd/OS
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/liblouis/src/tests/braille-specs/ |
| H A D | da-dk-g26-dictionary_harness.yaml | 189152 - [solbrændt, ⠎⠕⠇⠃⠗⠜⠟⠞]
189153 - [solbrændte, ⠎⠕⠇⠃⠗⠜⠟⠳]
189154 - [solbrændthed, ⠎⠕⠇⠃⠗⠜⠟⠞⠓⠑⠙]
|
| H A D | da-dk-g28-dictionary_harness.yaml | 190131 - [solbrændt, ⠎⠕⠇⠃⠗⠜⠟⠞]
190132 - [solbrændte, ⠎⠕⠇⠃⠗⠜⠟⠳]
190133 - [solbrændthed, ⠎⠕⠇⠃⠗⠜⠟⠞⠓⠑⠙]
|
| H A D | da-dk-g18-dictionary_harness.yaml | 191160 - [solbrændt, ⠎⠕⠇⠃⠗⠜⠝⠙⠞]
191161 - [solbrændte, ⠎⠕⠇⠃⠗⠜⠝⠙⠞⠑]
191162 - [solbrændthed, ⠎⠕⠇⠃⠗⠜⠝⠙⠞⠓⠑⠙]
|
| H A D | da-dk-g16-dictionary_harness.yaml | 189865 - [solbrændt, ⠎⠕⠇⠃⠗⠜⠝⠙⠞]
189866 - [solbrændte, ⠎⠕⠇⠃⠗⠜⠝⠙⠞⠑]
189867 - [solbrændthed, ⠎⠕⠇⠃⠗⠜⠝⠙⠞⠓⠑⠙]
|
| /dports/devel/liblouis/liblouis-3.20.0/tests/braille-specs/ |
| H A D | da-dk-g16-dictionary_harness.yaml | 189865 - [solbrændt, ⠎⠕⠇⠃⠗⠜⠝⠙⠞]
189866 - [solbrændte, ⠎⠕⠇⠃⠗⠜⠝⠙⠞⠑]
189867 - [solbrændthed, ⠎⠕⠇⠃⠗⠜⠝⠙⠞⠓⠑⠙]
|
| H A D | da-dk-g18-dictionary_harness.yaml | 191160 - [solbrændt, ⠎⠕⠇⠃⠗⠜⠝⠙⠞]
191161 - [solbrændte, ⠎⠕⠇⠃⠗⠜⠝⠙⠞⠑]
191162 - [solbrændthed, ⠎⠕⠇⠃⠗⠜⠝⠙⠞⠓⠑⠙]
|
| H A D | da-dk-g28-dictionary_harness.yaml | 190131 - [solbrændt, ⠎⠕⠇⠃⠗⠜⠟⠞]
190132 - [solbrændte, ⠎⠕⠇⠃⠗⠜⠟⠳]
190133 - [solbrændthed, ⠎⠕⠇⠃⠗⠜⠟⠞⠓⠑⠙]
|
| H A D | da-dk-g26-dictionary_harness.yaml | 189152 - [solbrændt, ⠎⠕⠇⠃⠗⠜⠟⠞]
189153 - [solbrændte, ⠎⠕⠇⠃⠗⠜⠟⠳]
189154 - [solbrændthed, ⠎⠕⠇⠃⠗⠜⠟⠞⠓⠑⠙]
|
| /dports/textproc/sv-hunspell/sv-hunspell-2.40/dictionaries/ |
| H A D | sv_FI.dic | 117710 solbränd/OQY
117711 solbrändhet/ADv
117712 solbränna/AEY
|
| H A D | sv_SE.dic | 117941 solbränd/OQY
117942 solbrändhet/ADv
117943 solbränna/AEY
|
| /dports/textproc/py-spylls/spylls-0.1.6/spylls/hunspell/data/sv/ |
| H A D | sv_SE.dic | 117941 solbränd/OQY
117942 solbrändhet/ADv
117943 solbränna/AEY
|
| /dports/www/dooble/dooble-2021.12.05/Dictionaries/sv_SE/ |
| H A D | sv_FI.dic | 117710 solbränd/OQY
117711 solbrändhet/ADv
117712 solbränna/AEY
|
| H A D | sv_SE.dic | 117941 solbränd/OQY
117942 solbrändhet/ADv
117943 solbränna/AEY
|
| /dports/mail/thunderbird-dictionaries/dictionaries/spell-da.xpi/ |
| H A D | da.dic | 110466 solbr�ndt
|
| /dports/devel/cld2/cld-20150505/internal/ |
| H A D | test_shuffle_1000_48_666.utf8 | 89685 … det nu dags att ~ blöt efter duschen. Men, så har vi denna uppfinning! ~ solbrännan Maratonlöpare…
89785 …ll brevlådan tokfort dessutom!) och kan verkligen ~ Visa endast Tis 13 En solbränna-dusch? Eller v…
89941 …opulent Alltid tragiskt när någon går bort på ~ kommer en bild på mig upp. Jag var även solbränd ~
|