Important Notice: this service will be discontinued by the end of 2024 because for multiple years now, Plume is no longer under active/continuous development. Sadly each time there was hope, active development came to a stop again. Please consider using our Writefreely instance instead.

Interact with is it actually less work than just doing it manually? probably not. but we're doing it anyway

is it actually less work than just doing it manually? probably not. but we're doing it anyway

using smt solvers for logic puzzles

I'm from this instance

Log in to interact

I'm from another instance

Enter your full username to interact