search

jogiet / MOLOSS

MOLOSS is a satisfiability solver for modal logics
GNU General Public License v3.0
4 stars 2 forks source link

Unifying the output #7

Closed Mystelven closed 6 years ago

Mystelven commented 6 years ago

Hello,

When I was parsing some of your results, I detect something strange. The output when it is unsatisfiable is c \027[31mUNSAT\027[0m

You should change it into s UNSATISFIABLE in order to unify the outputs and to have s SATISFIABLE and s UNSATISFIABLE according to the solution.

I will send you a detailed email about your solver when I will have everything (maybe next week). Cheers,

jogiet commented 6 years ago

https://github.com/Meleagant/MOLOSS/commit/cd6897d2be5845dd107c8b1111c3afa3b42c0f91 solved this.