Algorithms and Logic Laboratory