• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for logic-classes-1.4.3

Libraries

logic-classes

• applicative-extras
• base (>=4.3 && <5)
• containers
• fgl
• HUnit
• incremental-sat-solver
• mtl
• pretty
• PropLogic (>=0.9.0.3)
• safecopy
• set-extra
• syb
• syb-with-class
• template-haskell
• text

Executables

tests

• applicative-extras
• base
• containers
• HUnit
• incremental-sat-solver
• mtl
• pretty
• PropLogic
• safecopy
• set-extra
• syb
• template-haskell