TITLE

Generic SAT solver interface and testing


SUBTITLE

data

=begin data
{"type":"page","title":"","description":"","footer":"","file":"work_mods/all/SAT/lib/SAT.pm6","sources":[],"node":{"type":"block","id":"2-djcoJK0CJ7dPD89rT8w","margin":"","name":"root","content":[{"type":"block","content":[{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"NAME\n","margin":"","content":[{"type":"text","value":"NAME\n"}],"location":{"start":{"offset":12,"line":3,"column":1},"end":{"offset":24,"line":4,"column":1}}}],"name":"head","location":{"start":{"offset":12,"line":3,"column":1},"end":{"offset":24,"line":4,"column":1}},"level":"1","id":"NAME"},{"type":"blankline"},{"text":"SAT - Generic SAT solver interfaces\n","margin":"","type":"para","content":[{"type":"text","value":"SAT - Generic SAT solver interfaces\n"}],"location":{"start":{"offset":25,"line":5,"column":1},"end":{"offset":61,"line":6,"column":1}}},{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"SYNOPSIS\n","margin":"","content":[{"type":"text","value":"SYNOPSIS\n"}],"location":{"start":{"offset":62,"line":7,"column":1},"end":{"offset":78,"line":8,"column":1}}}],"name":"head","location":{"start":{"offset":62,"line":7,"column":1},"end":{"offset":78,"line":8,"column":1}},"level":"1","id":"SYNOPSIS"},{"type":"blankline"},{"text":"use SAT;\n","margin":"  ","type":"code","content":[{"type":"verbatim","value":"use SAT;\n"}],"location":{"start":{"offset":79,"line":9,"column":1},"end":{"offset":90,"line":10,"column":1}}},{"type":"blankline"},{"text":"# TODO\n","margin":"  ","type":"code","content":[{"type":"verbatim","value":"# TODO\n"}],"location":{"start":{"offset":91,"line":11,"column":1},"end":{"offset":100,"line":12,"column":1}}},{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"DESCRIPTION\n","margin":"","content":[{"type":"text","value":"DESCRIPTION\n"}],"location":{"start":{"offset":101,"line":13,"column":1},"end":{"offset":120,"line":14,"column":1}}}],"name":"head","location":{"start":{"offset":101,"line":13,"column":1},"end":{"offset":120,"line":14,"column":1}},"level":"1","id":"DESCRIPTION"},{"type":"blankline"},{"text":"TODO\n","margin":"","type":"para","content":[{"type":"text","value":"TODO\n"}],"location":{"start":{"offset":121,"line":15,"column":1},"end":{"offset":126,"line":16,"column":1}}},{"type":"blankline"}],"name":"pod","margin":"","config":[],"location":{"start":{"offset":0,"line":1,"column":1},"end":{"offset":136,"line":18,"column":1}},"id":"iJbkSR8IkKhVYgwQC6oJO"},{"text":"\nunit module SAT;\n\nrole Solver {\n    multi method solve (:$now where *.so, |c --> Bool) {\n        await self.solve: |c\n    }\n\n    multi method solve (IO::Path $file, |c --> Promise) {\n        self.solve: $file.lines, |c\n    }\n\n    multi method solve (Str $DIMACS, |c --> Promise) {\n        self.solve: $DIMACS.lines, |c\n    }\n\n    multi method solve (List $lines, |c --> Promise) {\n        self.solve: $lines.Supply, |c\n    }\n\n    multi method solve (Seq $lines, |c --> Promise) {\n        self.solve: $lines.Supply, |c\n    }\n\n    multi method solve (Supply $lines, |c --> Promise) {\n        self.solve: $lines, my $dummy, |c\n    }\n\n    # The `*% ()` stops this candidate from swallowing the :now\n    # adverb because methods normally accept any named arguments.\n    # So if this candidate (without the `*% ()`) would be\n    # implemented the Solver class, as required by the role,\n    # it would take precedence and eat every method call with\n    # a Supply positional, even those with :now. b2gills++ for\n    # explaining that.\n    #\n    # By using `*% ()`, we force the class using this role to\n    # supply a candidate which doesn't interfere with :now calling.\n    # They can still choose to provide a candidate that swallows\n    # :now as well, if they don't like how :now is handled here.\n    multi method solve (Supply $lines, $witness is rw, *% () --> Promise) { … }\n}\n\n# TODO: Support approximate counters\nrole Counter {\n    multi method count (:$now where *.so, |c --> Int) {\n        await self.count: |c\n    }\n\n    multi method count (IO::Path $file, |c --> Promise) {\n        self.count: $file.lines, |c\n    }\n\n    multi method count (Str $DIMACS, |c --> Promise) {\n        self.count: $DIMACS.lines, |c\n    }\n\n    multi method count (List $lines, |c --> Promise) {\n        self.count: $lines.Supply, |c\n    }\n\n    multi method count (Seq $lines, |c --> Promise) {\n        self.count: $lines.Supply, |c\n    }\n\n    multi method count (Supply $lines, *% () --> Promise) { … }\n}\n\nrole Enumerator {\n    multi method enumerate (:$now where *.so, |c --> List) {\n        self.enumerate(|c).List\n    }\n\n    multi method enumerate (IO::Path $file, |c --> Supply) {\n        self.enumerate: $file.lines, |c\n    }\n\n    multi method enumerate (Str $DIMACS, |c --> Supply) {\n        self.enumerate: $DIMACS.lines, |c\n    }\n\n    multi method enumerate (List $lines, |c --> Supply) {\n        self.enumerate: $lines.Supply, |c\n    }\n\n    multi method enumerate (Seq $lines, |c --> Supply) {\n        self.enumerate: $lines.Supply, |c\n    }\n\n    multi method enumerate (Supply $lines, *% () --> Supply) { … }\n}\n\n# TODO\n# role Maximizer { }\n\n# All the dynamic variables $*SAT-SOLVER, $*SAT-COUNTER, $*SAT-ENUMERATOR\n# have precendence over lookup in the packages.\n#\n# NOTE: Detection of the SAT::Solver etc. roles might fail if the solver\n# does these roles via parameterized roles, R#2551.\n\nsub sat-solve (|c) is export {\n    my $solvers := gather {\n        take $*SAT-SOLVER if try $*SAT-SOLVER ~~ SAT::Solver;\n        take $_ for SAT::Solver::.values.grep(* ~~ SAT::Solver);\n    }\n    for $solvers {\n        return .new.solve(|c);\n        CATCH {\n            when X::Multi::NoMatch { .resume  }\n            default                { .rethrow }\n        }\n    }\n    die \"no suitable SAT::Solver found\";\n}\n\nsub sat-count (|c) is export {\n    my $counters := gather {\n        take $*SAT-COUNTER if try $*SAT-COUNTER ~~ SAT::Counter;\n        take $_ for SAT::Counter::.values.grep(* ~~ SAT::Counter);\n    }\n    for $counters {\n        return .new.count(|c);\n        CATCH {\n            when X::Multi::NoMatch { .resume  }\n            default                { .rethrow }\n        }\n    }\n    die \"no suitable SAT::Counter found\";\n}\n\nsub sat-enumerate (|c) is export {\n    my $enumerators := gather {\n        take $*SAT-ENUMERATOR if try $*SAT-ENUMERATOR ~~ SAT::Enumerator;\n        take $_ for SAT::Enumerator::.values.grep(* ~~ SAT::Enumerator);\n    }\n    for $enumerators {\n        return .new.enumerate(|c);\n        CATCH {\n            when X::Multi::NoMatch { .resume  }\n            default                { .rethrow }\n        }\n    }\n    die \"no suitable SAT::Enumerator found\";\n}\n\n","type":"ambient","location":{"start":{"offset":136,"line":18,"column":1},"end":{"offset":4310,"line":164,"column":1}}},{"type":"block","content":[{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"AUTHOR\n","margin":"","content":[{"type":"text","value":"AUTHOR\n"}],"location":{"start":{"offset":4322,"line":166,"column":1},"end":{"offset":4336,"line":167,"column":1}}}],"name":"head","location":{"start":{"offset":4322,"line":166,"column":1},"end":{"offset":4336,"line":167,"column":1}},"level":"1","id":"AUTHOR"},{"type":"blankline"},{"text":"Tobias Boege <tboege@ovgu.de>\n","margin":" ","type":"code","content":[{"type":"verbatim","value":"Tobias Boege <tboege@ovgu.de>\n"}],"location":{"start":{"offset":4337,"line":168,"column":1},"end":{"offset":4368,"line":169,"column":1}}},{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"COPYRIGHT AND LICENSE\n","margin":"","content":[{"type":"text","value":"COPYRIGHT AND LICENSE\n"}],"location":{"start":{"offset":4369,"line":170,"column":1},"end":{"offset":4398,"line":171,"column":1}}}],"name":"head","location":{"start":{"offset":4369,"line":170,"column":1},"end":{"offset":4398,"line":171,"column":1}},"level":"1","id":"COPYRIGHT-AND-LICENSE"},{"type":"blankline"},{"text":"Copyright 2018 Tobias Boege\n","margin":"","type":"para","content":[{"type":"text","value":"Copyright 2018 Tobias Boege\n"}],"location":{"start":{"offset":4399,"line":172,"column":1},"end":{"offset":4427,"line":173,"column":1}}},{"type":"blankline"},{"text":"This library is free software; you can redistribute it and/or modify it\nunder the Artistic License 2.0.\n","margin":"","type":"para","content":[{"type":"text","value":"This library is free software; you can redistribute it and/or modify it\nunder the Artistic License 2.0.\n"}],"location":{"start":{"offset":4428,"line":174,"column":1},"end":{"offset":4532,"line":176,"column":1}}},{"type":"blankline"}],"name":"pod","margin":"","config":[],"location":{"start":{"offset":4310,"line":164,"column":1},"end":{"offset":4542,"line":178,"column":1}},"id":"C-gc_M44dOFUERvyc-ZZr"}]},"publishUrl":"/mods/all/SAT/lib/SAT.pm6","pluginsData":{"moduleInfo":{"meta":{"name":"SAT","version":"0.0.1","perl":"6.c","authors":"Tobias Boege","description":"Generic SAT solver interface and testing","tags":[],"license":"Artistic-2.0","depends":["Compress::Zlib"],"build-depends":[],"test-depends":["Test::META"],"resources":[],"provides":{"SAT":"lib/SAT.pm6","Test::SAT":"lib/Test/SAT.pm6"},"source-url":"git://github.com/taboege/raku-SAT.git"},"files":[{"file":"work_mods/all/SAT/lib/SAT.pm6","publishUrl":"/mods/all/SAT/lib/SAT.pm6"},{"file":"work_mods/all/SAT/lib/Test/SAT.pm6","publishUrl":"/mods/all/SAT/lib/Test/SAT.pm6"}],"src":"all","url":"/mods/all/SAT"}}}
=end data


React

    =begin React :component<RenderItem>
    =begin data
    {"type":"page","title":"","description":"","footer":"","file":"work_mods/all/SAT/lib/SAT.pm6","sources":[],"node":{"type":"block","id":"2-djcoJK0CJ7dPD89rT8w","margin":"","name":"root","content":[{"type":"block","content":[{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"NAME\n","margin":"","content":[{"type":"text","value":"NAME\n"}],"location":{"start":{"offset":12,"line":3,"column":1},"end":{"offset":24,"line":4,"column":1}}}],"name":"head","location":{"start":{"offset":12,"line":3,"column":1},"end":{"offset":24,"line":4,"column":1}},"level":"1","id":"NAME"},{"type":"blankline"},{"text":"SAT - Generic SAT solver interfaces\n","margin":"","type":"para","content":[{"type":"text","value":"SAT - Generic SAT solver interfaces\n"}],"location":{"start":{"offset":25,"line":5,"column":1},"end":{"offset":61,"line":6,"column":1}}},{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"SYNOPSIS\n","margin":"","content":[{"type":"text","value":"SYNOPSIS\n"}],"location":{"start":{"offset":62,"line":7,"column":1},"end":{"offset":78,"line":8,"column":1}}}],"name":"head","location":{"start":{"offset":62,"line":7,"column":1},"end":{"offset":78,"line":8,"column":1}},"level":"1","id":"SYNOPSIS"},{"type":"blankline"},{"text":"use SAT;\n","margin":"  ","type":"code","content":[{"type":"verbatim","value":"use SAT;\n"}],"location":{"start":{"offset":79,"line":9,"column":1},"end":{"offset":90,"line":10,"column":1}}},{"type":"blankline"},{"text":"# TODO\n","margin":"  ","type":"code","content":[{"type":"verbatim","value":"# TODO\n"}],"location":{"start":{"offset":91,"line":11,"column":1},"end":{"offset":100,"line":12,"column":1}}},{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"DESCRIPTION\n","margin":"","content":[{"type":"text","value":"DESCRIPTION\n"}],"location":{"start":{"offset":101,"line":13,"column":1},"end":{"offset":120,"line":14,"column":1}}}],"name":"head","location":{"start":{"offset":101,"line":13,"column":1},"end":{"offset":120,"line":14,"column":1}},"level":"1","id":"DESCRIPTION"},{"type":"blankline"},{"text":"TODO\n","margin":"","type":"para","content":[{"type":"text","value":"TODO\n"}],"location":{"start":{"offset":121,"line":15,"column":1},"end":{"offset":126,"line":16,"column":1}}},{"type":"blankline"}],"name":"pod","margin":"","config":[],"location":{"start":{"offset":0,"line":1,"column":1},"end":{"offset":136,"line":18,"column":1}},"id":"iJbkSR8IkKhVYgwQC6oJO"},{"text":"\nunit module SAT;\n\nrole Solver {\n    multi method solve (:$now where *.so, |c --> Bool) {\n        await self.solve: |c\n    }\n\n    multi method solve (IO::Path $file, |c --> Promise) {\n        self.solve: $file.lines, |c\n    }\n\n    multi method solve (Str $DIMACS, |c --> Promise) {\n        self.solve: $DIMACS.lines, |c\n    }\n\n    multi method solve (List $lines, |c --> Promise) {\n        self.solve: $lines.Supply, |c\n    }\n\n    multi method solve (Seq $lines, |c --> Promise) {\n        self.solve: $lines.Supply, |c\n    }\n\n    multi method solve (Supply $lines, |c --> Promise) {\n        self.solve: $lines, my $dummy, |c\n    }\n\n    # The `*% ()` stops this candidate from swallowing the :now\n    # adverb because methods normally accept any named arguments.\n    # So if this candidate (without the `*% ()`) would be\n    # implemented the Solver class, as required by the role,\n    # it would take precedence and eat every method call with\n    # a Supply positional, even those with :now. b2gills++ for\n    # explaining that.\n    #\n    # By using `*% ()`, we force the class using this role to\n    # supply a candidate which doesn't interfere with :now calling.\n    # They can still choose to provide a candidate that swallows\n    # :now as well, if they don't like how :now is handled here.\n    multi method solve (Supply $lines, $witness is rw, *% () --> Promise) { … }\n}\n\n# TODO: Support approximate counters\nrole Counter {\n    multi method count (:$now where *.so, |c --> Int) {\n        await self.count: |c\n    }\n\n    multi method count (IO::Path $file, |c --> Promise) {\n        self.count: $file.lines, |c\n    }\n\n    multi method count (Str $DIMACS, |c --> Promise) {\n        self.count: $DIMACS.lines, |c\n    }\n\n    multi method count (List $lines, |c --> Promise) {\n        self.count: $lines.Supply, |c\n    }\n\n    multi method count (Seq $lines, |c --> Promise) {\n        self.count: $lines.Supply, |c\n    }\n\n    multi method count (Supply $lines, *% () --> Promise) { … }\n}\n\nrole Enumerator {\n    multi method enumerate (:$now where *.so, |c --> List) {\n        self.enumerate(|c).List\n    }\n\n    multi method enumerate (IO::Path $file, |c --> Supply) {\n        self.enumerate: $file.lines, |c\n    }\n\n    multi method enumerate (Str $DIMACS, |c --> Supply) {\n        self.enumerate: $DIMACS.lines, |c\n    }\n\n    multi method enumerate (List $lines, |c --> Supply) {\n        self.enumerate: $lines.Supply, |c\n    }\n\n    multi method enumerate (Seq $lines, |c --> Supply) {\n        self.enumerate: $lines.Supply, |c\n    }\n\n    multi method enumerate (Supply $lines, *% () --> Supply) { … }\n}\n\n# TODO\n# role Maximizer { }\n\n# All the dynamic variables $*SAT-SOLVER, $*SAT-COUNTER, $*SAT-ENUMERATOR\n# have precendence over lookup in the packages.\n#\n# NOTE: Detection of the SAT::Solver etc. roles might fail if the solver\n# does these roles via parameterized roles, R#2551.\n\nsub sat-solve (|c) is export {\n    my $solvers := gather {\n        take $*SAT-SOLVER if try $*SAT-SOLVER ~~ SAT::Solver;\n        take $_ for SAT::Solver::.values.grep(* ~~ SAT::Solver);\n    }\n    for $solvers {\n        return .new.solve(|c);\n        CATCH {\n            when X::Multi::NoMatch { .resume  }\n            default                { .rethrow }\n        }\n    }\n    die \"no suitable SAT::Solver found\";\n}\n\nsub sat-count (|c) is export {\n    my $counters := gather {\n        take $*SAT-COUNTER if try $*SAT-COUNTER ~~ SAT::Counter;\n        take $_ for SAT::Counter::.values.grep(* ~~ SAT::Counter);\n    }\n    for $counters {\n        return .new.count(|c);\n        CATCH {\n            when X::Multi::NoMatch { .resume  }\n            default                { .rethrow }\n        }\n    }\n    die \"no suitable SAT::Counter found\";\n}\n\nsub sat-enumerate (|c) is export {\n    my $enumerators := gather {\n        take $*SAT-ENUMERATOR if try $*SAT-ENUMERATOR ~~ SAT::Enumerator;\n        take $_ for SAT::Enumerator::.values.grep(* ~~ SAT::Enumerator);\n    }\n    for $enumerators {\n        return .new.enumerate(|c);\n        CATCH {\n            when X::Multi::NoMatch { .resume  }\n            default                { .rethrow }\n        }\n    }\n    die \"no suitable SAT::Enumerator found\";\n}\n\n","type":"ambient","location":{"start":{"offset":136,"line":18,"column":1},"end":{"offset":4310,"line":164,"column":1}}},{"type":"block","content":[{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"AUTHOR\n","margin":"","content":[{"type":"text","value":"AUTHOR\n"}],"location":{"start":{"offset":4322,"line":166,"column":1},"end":{"offset":4336,"line":167,"column":1}}}],"name":"head","location":{"start":{"offset":4322,"line":166,"column":1},"end":{"offset":4336,"line":167,"column":1}},"level":"1","id":"AUTHOR"},{"type":"blankline"},{"text":"Tobias Boege <tboege@ovgu.de>\n","margin":" ","type":"code","content":[{"type":"verbatim","value":"Tobias Boege <tboege@ovgu.de>\n"}],"location":{"start":{"offset":4337,"line":168,"column":1},"end":{"offset":4368,"line":169,"column":1}}},{"type":"blankline"},{"margin":"","type":"block","content":[{"type":"para","text":"COPYRIGHT AND LICENSE\n","margin":"","content":[{"type":"text","value":"COPYRIGHT AND LICENSE\n"}],"location":{"start":{"offset":4369,"line":170,"column":1},"end":{"offset":4398,"line":171,"column":1}}}],"name":"head","location":{"start":{"offset":4369,"line":170,"column":1},"end":{"offset":4398,"line":171,"column":1}},"level":"1","id":"COPYRIGHT-AND-LICENSE"},{"type":"blankline"},{"text":"Copyright 2018 Tobias Boege\n","margin":"","type":"para","content":[{"type":"text","value":"Copyright 2018 Tobias Boege\n"}],"location":{"start":{"offset":4399,"line":172,"column":1},"end":{"offset":4427,"line":173,"column":1}}},{"type":"blankline"},{"text":"This library is free software; you can redistribute it and/or modify it\nunder the Artistic License 2.0.\n","margin":"","type":"para","content":[{"type":"text","value":"This library is free software; you can redistribute it and/or modify it\nunder the Artistic License 2.0.\n"}],"location":{"start":{"offset":4428,"line":174,"column":1},"end":{"offset":4532,"line":176,"column":1}}},{"type":"blankline"}],"name":"pod","margin":"","config":[],"location":{"start":{"offset":4310,"line":164,"column":1},"end":{"offset":4542,"line":178,"column":1}},"id":"C-gc_M44dOFUERvyc-ZZr"}]},"publishUrl":"/mods/all/SAT/lib/SAT.pm6","pluginsData":{"moduleInfo":{"meta":{"name":"SAT","version":"0.0.1","perl":"6.c","authors":"Tobias Boege","description":"Generic SAT solver interface and testing","tags":[],"license":"Artistic-2.0","depends":["Compress::Zlib"],"build-depends":[],"test-depends":["Test::META"],"resources":[],"provides":{"SAT":"lib/SAT.pm6","Test::SAT":"lib/Test/SAT.pm6"},"source-url":"git://github.com/taboege/raku-SAT.git"},"files":[{"file":"work_mods/all/SAT/lib/SAT.pm6","publishUrl":"/mods/all/SAT/lib/SAT.pm6"},{"file":"work_mods/all/SAT/lib/Test/SAT.pm6","publishUrl":"/mods/all/SAT/lib/Test/SAT.pm6"}],"src":"all","url":"/mods/all/SAT"}}}
    =end data
    =end React


root

Bindings for the DRMAA cluster library


Scheduler::DRMAA


SAT solver MiniSAT


SAT::Solver::MiniSAT


=begin React :component<HeaderCol> :id<menu> 
=para L<Documentation|/doc/introduction>
=para L<Modules| /mods>
=para L<Examples| file:../examples/index.podlite>
=para L<Download |file:../download/index.podlite>
=para L<About|file:../about/index.podlite>
=para 🔍 K<⌘K>/K<ctrl-K>
=end React


=begin React :component<HeaderCol> :id<footer>  
=begin nested :!nested
=item1 B<Language>
    =item2 L<Get started|file:../getting-started/getting-started.podlite>
    =item2 L<Why Raku?|/doc/language/faq#Why-should-I-learn-Raku-What's-so-great-about-it>
    =item2 L<Try Raku|https://glot.io/new/raku>
    =item2 L<Raku cheat sheet|https://github.com/Raku/mu/blob/master/docs/Perl6/Cheatsheet/cheatsheet.txt>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<Raku on Exercism|https://exercism.org/tracks/raku>
    =item2 L<Wikipedia|https://en.wikipedia.org/wiki/Raku_(programming_language)>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>

=end nested
=begin nested :!nested

=item1 B<L<Documentation|/doc>>
    =item2 L<Getting started, Migration guides from other languages, & Tutorials | file:../doc/introduction.podlite>
    =item2 L<Language References|file:../doc/reference.podlite>
    =item2 L<Type Reference| file:../doc/types.podlite>
    =item2 L<Miscellaneous| file:../doc/miscellaneous.podlite>
    =item2 L<FAQs (Frequently Asked Questions)|/doc/language/faq>
    =item2 L<Community|/doc/language/community>
    =item2 L<The list of all documents|file:../doc/index.podlite>

=item1 B<Resources>
    =item2 L<The Raku Guide|https://raku.guide/>
    =item2 L<Books |https://perl6book.com/>
    =item2 L<Rosetta Code | https://www.raku.org/community/rosettacode>

=end nested
=begin nested :!nested

=item1 B<Resoures>
    =item2 L<Download | file:../download/index.podlite>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>

=item1 B<Learning>
    =item2 L<The Raku Guide|https://raku.guide/>
    =item2 L<Wikibook |https://en.wikibooks.org/wiki/Raku_Programming>
    =item2 L<Books |https://perl6book.com/>
    =item2 L<Rosetta Code | https://www.raku.org/community/rosettacode>
    =item2 L<Learn Raku in Y minutes|https://learnxinyminutes.com/docs/raku/>
    =item2 L<Golfing |https://github.com/AlexDaniel/raku-golf-cheatsheet>
=end nested
=begin nested :!nested

=item1 B<Explore>
    =item2 L<Raku Blog Aggregator|https://planet.raku.org/>
    =item2 L<Rakudo Weekly|https://rakudoweekly.blog/>
    =item2 L<The Weekly Challenge |https://perlweeklychallenge.org/>
    =item2 L<Raku Advent Calendar|https://raku-advent.blog/>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>

=end nested
=end React


=begin React :component<CookieConsent> :id<CookieConsent> :buttonCaption("Got it!")
=para
This website uses cookies for analytics.
=end React
