mchlpe

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever

Stars

Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Badges

Extracted from project README

Readings on computational logic, interactive theorem proving and functional programming.

A monad for interfacing with external SAT solvers

Modal Tableau with Interpolation in Haskell

describe periodic (juggling) patterns in first-order logic and find models via constraint program...

🗣️📞 Gossip Model Checking

just another compiler experiment

A symbolic model checker for Dynamic Epistemic Logic.