Contributions to the Scientific Community


MDK-Verifier 2016-06-30 C++


MDK-verfier is, with some specifications in the I/O, able to tell if a Kripke model satisfies a formula for the modal logic K. The source code, written in C++ is accessible here: http://www.cril.univ-artois.fr/~montmirail/mdk-verifier/

View Project

Contributions to SATLive! 2015-07-01 Jekyll/MarkDown


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