Lingeling, Plingeling and Treengeling: Lingeling and its parallel versions Plingeling and Treengeling, obtained first places in 4 tracks (out of 11) of the SAT’14 Competition and thus won 4 Gödel medals during the FLoC’14 Olympic Games.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element