Solver for Shenzen Solitaire
AGPL-3.0 License
Statistics for this project are still being loaded, please check back later.
A proof-assistant for Possibility Storm-style problems for Magic: The Gathering
How to model of Deck of Cards in Haskell