tableau-solver-haskell

Tableau method solver in Haskell

BSD-3-CLAUSE License

Stars
6
View Code on GitHub View on X
Ecosystems: Haskell

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

Badges
Extracted from project README
Build Status
Related Projects
LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

05 Oct 2018 987
modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

27 Aug 2020 2
Math.Diophantine

A quadratic diophantine equation solver

21 Nov 2013 4
shenzhen

Solver for Shenzen Solitaire

27 Jun 2017 15
ersatz

A monad for interfacing with external SAT solvers

14 Jun 2010 63
HaskSymb

An Experiment in Haskell Symbolic Algebra

07 May 2012 69
algebra-checkers

checkers for algebra driven design

05 Mar 2020 34
haskell-rascal

Learning haskell with a rascal!

24 Mar 2014 13
jace

just another compiler experiment

04 Jan 2017 14
mchlpe

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

28 Apr 2016 4
finito

A constraint solver for finite domains, written in Haskell.

13 Feb 2020 10