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

Dependencies for yices-easy-0.1

Libraries

yices-easy

• base (>=3 && <5)
• bindings-yices (>=0.2)
• containers (>=0.3)
• transformers (>=0.2)