@bea z3 python.
@Fuego yr killin me fuego d:
@bea I've implemented 4 processors in it so far for symbolic execution and it has no peers currently.
@Fuego i think
i think they'd fuckin throw me in a pit full of rose bushes if i added that as a dependency to mastodon
tho...
with the powers of federated microblogging and automated theorem proving combined
surely we'd be unstoppable?!
@bea I um... why do we need a solver in mastodon?
Just make something that can ingest the database and be a standalone thinger ;)