@whitequark@social.treehouse.systems
Post #1278455
2026-04-03 11:18 UTC
@jyn having fun with smt solvers?
Replies (1)
-
@jyn@tech.lgbt 2026-04-03 15:00
@whitequark no actually, just using 10 days of CPU time
@whitequark@social.treehouse.systems
2026-04-03 11:18 UTC
@whitequark no actually, just using 10 days of CPU time