@hackage / satchmo-examples

examples that show how to use satchmo

Latest1.8.1

Dependencies

executable:Factor (6 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / satchmo-backends driver for external satchmo backends
- Version: >=1.8
- License: LicenseRef-GPL
@hackage / satchmo SAT encoding monad
- Version: >=1.8
- License: GPL-2.0-only

executable:HC (6 dependencies)

executable:VC (6 dependencies)