search

jogiet / MOLOSS

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

Could you make a release ? #6

Closed Mystelven closed 6 years ago

Mystelven commented 6 years ago

Hello,

I will use Moloss in an article, but to cite it, I need something that can not change during the time. It would be nice to have a release like Moloss 1.0. Like this, if someone is not sure about the results we give in the paper, he can download moloss 1.0, which will be the exact same version as the one we use, and re-run the solver on the benchmarks considered.

Thanks in advance,

tofgarion commented 6 years ago

Hello,

I have just created a v0.9 release.