MIRROR of https://codeberg.org/catseye/Samovar : Model worlds using propositions and run simulations in them - View it on GitHub