Closed Mystelven closed 9 years ago
A category Modal-SAT to list solvers for modal logics has been created.
Don't mind the 3 commits which are the same, It was just a local permission issue that have been pushed unfortunately and fixed just after.
A category Modal-SAT to list solvers for modal logics has been created.
Don't mind the 3 commits which are the same, It was just a local permission issue that have been pushed unfortunately and fixed just after.