Details of Program: Dimwit

Programmers:

Written by: Begué, Álvaro & Tromp, John

General:

UCT with adaptive MC. Written in C++.