Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Wangsalgorithm

A classical propositional theorem prover in Haskell, using Wang's Algorithm.
Stars
29
License
mit
Open Issues
1
Most Recent Commit
5 years ago
Programming Language
Haskell
Categories
Repo
Alternatives To Wangsalgorithm
Select To Compare
Python ⭐ 175,076
All Algorithms implemented in Python
dependent packages 3total releases 8most recent commit 3 months agonpm tda} Downloads


Suggest An Alternative To WangsAlgorithm
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort
Related Searches
Algorithms Haskell
Haskell Sequent Calculus
Algorithms Theorem Prover

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Algorithms
Haskell
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.