karmacoma pfp
karmacoma
@karma
Play it while it's hot: SAT or NOT. The first frame game where *you* figure out if a random 3SAT instance is satisfiable (or not). https://sat-or-not.onrender.com
21 replies
48 recasts
124 reactions

thinh9999 pfp
thinh9999
@thinheth
Any one help me understand this :)))
1 reply
0 recast
0 reaction

karmacoma pfp
karmacoma
@karma
Check the wikipedia page: https://en.wikipedia.org/wiki/Boolean_satisfiability_problem
0 reply
0 recast
1 reaction