Contributions to the Scientific Community


Contributions to SATLive! 2015-07-01 Jekyll


SAT Live! is a community web site to share news about SAT: conferences, workshops, software, benchmarks, positions, etc.

View Project

Generalized Lights Out 2015-03-09 Java


Project created in tandem with Florent Dewez and Thibault Defourneau.

Lights Out is an electronic game, released by Tiger Electronics in 1995.
The game consists of a 5 by 5 grid of lights. When the game starts, a random number or a stored pattern of these lights is switched on.

View Project