@hackage Smooth dependencies

6 results

library:Smooth (6 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5 && <0.6

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.6 && <4.7

@hackage/Proper

An implementation of propositional logic in Haskell

BSD-3-Clause>=0.5 && <0.6

@hackage/HUnit

A unit testing framework for Haskell

BSD-3-Clause>=1.2 && <1.3

@hackage/FirstOrderTheory

Grammar and typeclass for first order theories

BSD-3-Clause>=0.1 && <0.2

@hackage/DifferenceLogic

A theory solver for conjunctions of literals in difference logic

BSD-3-Clause>=0.1 && <0.2