Popularity
3.3
Declining
Activity
0.0
Stable
4
1
2

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

satchmo alternatives and similar packages

Based on the "Logic" category.
Alternatively, view satchmo alternatives based on common mentions on social networks and blogs.

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

Add another 'Logic' Package

README

SAT encoding monad

Build Status