None
None
None
None
None
- 4
- 7
None
- 1
- 7
None
- 2
- 6
None
None
- 1
- 6
None
None
- 33
- 6
None
None
- 5
- 6
None
None
None
- 2
- 6
None
- 2
- 6
[*] with blatant cheating that would make @Snakes blush
pip install z3-solver
import z3
x, y = z3.Ints('x y')
zs = z3.Solver()
zs.add(0 <= x, x <= size_limit)
zs.add(0 <= y, y <= size_limit)
for it in data:
zs.add(z3.Abs(x - it.sx) + z3.Abs(y - it.sy) > it.r)
assert zs.check() == z3.sat
return zs.model().eval(x * 4000_000 + y).as_long()
15_1 took 0.212 seconds
None
Reported by:
- BromiteShill : clickbait
- 3
- 6
Orange Site:
None
None
- 9
- 6
This is amazing news. I still have all of the CDC textfiles saved somewhere, apparently he wrote under the nym 'PsychedelicWarlord.'
There was some pretty good stuff (very shlocky pulp fiction type of good stuff) published under the CDC banner.
'Life in Wartime' still rates highly. Better stay off Phase Bridge tomorrow!
None
- 2
- 6
Sad it's dead , but at least it's public again, albeit restricted.
None