English Libdmc Cited by user Rjwilmsi on 03 Sep 2017 Libdmc is a library designed at the LIP6 laboratory. Its goal is to ease the distribution of existing model checkers.