hackage.haskell.org "atms" keyword
BPS 0.1.1.0
Haskell monad transformer-based translations of two classic Truth Maintenance System algorithms o...2 versions - Latest release: over 3 years ago - 238 downloads total - 16 stars on GitHub - 1 maintainer