Encrypt and decrypt data using pbkdf2 derived key with a random salt and iv and an optional HMAC signature
A modal logic machine working over possible worlds.
A simple symbolic model checker for Petri Nets
evolving logic machine
Natural language to first-order logic pipeline
A simple BDD-based symbolic model checker for Computational Tree Logic