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

Dependencies for logic-classes-0.45

Libraries

logic-classes

• base (<5)
• containers
• fgl
• happstack-data
• incremental-sat-solver
• mtl
• pretty
• PropLogic
• safecopy
• set-extra
• syb
• syb-with-class
• text

Executables

tests

• HUnit