3 ms·
We learned SAT solvers and got to implement one in one of our courses. Completely forget which one it was though.
by sam0x17 3y ago
We learned SAT solvers and got to implement one in one of our courses. Completely forget which one it was though.