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:

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