This repository is not active
mvbrock/kripkechecker
Command-line tool for entering a Kripke model and verifying which worlds satisfy the formula
Java
Command-line tool for entering a Kripke model and verifying which worlds satisfy the formula
Java
This repository is not active