Know more about : MoSaiC



MoSaiC 2017-08-19 C++


MoSaiC is a RECAR approach for solving the Modal Logic K Satisfiability Problem.
The solver, written in C++, is accessible here: http://www.cril.univ-artois.fr/~montmirail/mosaic/

The RECAR approach definitely increase the performance compared to a simple CEGAR approach
Scatter-plot CEGAR vs RECAR

MoSaiC is also very competitive against the state-of-the-art solver for Moda Logic K Satisfiability Problem
Cactus-Plot MoSaiC againt others


Get back