search

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
https://w4eg.de/malvin/illc/smcdelweb
GNU General Public License v2.0
41 stars 9 forks source link

standalone executable #1

Closed m4lvin closed 9 years ago

m4lvin commented 9 years ago

SMCDEL should be usable without knowing/compiling Haskell. For this, a standalone executable should read a simple text file which describes a model and a formula to be checked.

m4lvin commented 9 years ago

fixed since commit 7beca0c0710963494323453417b2583035f0627e