boris-dimitrov/z3_langford_gpu_public

Stars
1
Language Cuda
Created about 8 years ago
Updated almost 3 years ago

boris-dimitrov/z3_langford_gpu_public

boris-dimitrov

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

GPU/CPU benchmark and cost data from counting Langford sequences.

set_gpu_fans_public

Controlling GPU fan speed on a headless linux computer requires spoofing a display.

z5_langford

Generalized Langford sequence generator (either non-planar or planar in 2 or more dimensions) using the increasing-m approach. For running on CPU, this is my fastest brute-force solution.