Popularity
3.8
Growing
Activity
0.0
Stable
4
1
2

Monthly Downloads: 479
Programming language: Haskell
License: LicenseRef-GPL
Tags: Logic     Satchmo    

satchmo alternatives and similar packages

Based on the "Logic" category

Do you think we are missing an alternative of satchmo or a related project?

Add another 'Logic' Package

README

SAT encoding monad

Build Status