Flora :: [Package]

Search a package

@hackage / satchmo-minisat

minisat driver as backend for satchmo

Latest1.3

About 1 Version Changelog 4 Dependencies 2 Dependents Security

About 1 Version Changelog 4 Dependencies 2 Dependents Security

Dependencies

library:satchmo-minisat (4 dependencies)

@hackage / base Core data structures and operations
- Version:
- License: BSD-3-Clause
@hackage / satchmo SAT encoding monad
- Version:
- License: GPL-2.0-only
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio