Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
hachyderm.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
Hachyderm is a safe space, LGBTQIA+ and BLM, primarily comprised of tech industry professionals world wide. Note that many non-user account types have restrictions - please see our About page.

Administered by:

Server stats:

9K
active users

hachyderm.io: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

zigdon

@chrisamaphone so I figured dusa should be good for solving some kinds of puzzles, like bridges, right?

Tried to draw a trivial one (tinyurl.com/4w52su5y), without any bridge crossings to worry about -- but I can't seem to say "the total number of bridges on an island should not exceed the defined limit".

Am I holding it wrong, or is this not possible on a fundamental level?

tinyurl.comDusa InterpreterLearn Datalog, and more, today! Try out the Dusa logic programming language right now in your browser.
Dec 30, 2024, 04:08 PM·Public
0boosts·0favorites
ExploreLive feeds
About