Popularity
1.6
Declining
Activity
0.0
Stable
1
1
1

Monthly Downloads: 39
Programming language: - - -
License: BSD 3-clause "New" or "Revised" License
Tags: Logic     Minisat    

minisat alternatives and similar packages

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

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

Add another 'Logic' Package

README

minisat-bundle

Minisat Haskell bundle