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

Dependencies for DifferenceLogic-0.1.0.2

Libraries

DifferenceLogic

• base (>=4.6 && <4.7)
• containers (>=0.5 && <0.6)
• fgl
• FirstOrderTheory
• HUnit (>=1.2 && <1.3)