david xnx38h@cybre.space
bio
Recently boosted
is it actually less work than just doing it manually? probably not. but we're doing it anyway
using smt solvers for logic puzzles
async programming
(sync (obtain-shork))
bio
using smt solvers for logic puzzles
(sync (obtain-shork))