2026-09-20 04:26 UTC
Will it ever finish? Can I keep making a computer in Scrap Mechanic please?
It turns out you can make a really fast instruction decoder in Scrap Mechanic if only you can figure out a special bit mask for each ALU operation. It turns out this is really frickity fucking hard to do by hand so I told a SAT solver to do it and it was fine until I asked for all the combinations I wanted and then… This.
out.dimacs is 36MB
c CNF file written by RustSAT
p cnf 217953 1366264
Also dimacs uses “c” for comments lol (it’s just a huge file of numbers).
Also also it turns out using 100% of all 24 cores on a laptop for 8 hours makes for some heat issues so I had to limit each core to 50% utilization so it will take twice as long yay.
Replies (3)
-
@duckythescientist@sh.itjust.works 2026-09-20 04:44
I’m just excited that Z3 has a parallel mode now. Last time I was using it much, it was only single core.
-
@edinbruh@feddit.it 2026-09-20 07:46
Maybe you should play with heuristics to get a good enough solution quickly. Or change solver to something more appropriate for what you are modelling
-
@ColbysBrush@fedinsfw.app 2026-09-20 08:06
What, specifically, are you trying to solve?