@hackage g4ip dependencies

3 results

library:g4ip (1 dependencies)

@haskell/base

Core data structures and operations

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

test:test-g4ip (2 dependencies)

@haskell/base

Core data structures and operations

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

@hackage/g4ip

A theorem prover for propositional logic that uses G4ip