@hackage / bindings-yices

Metadata

• Last updated 22 Aug 2015, by PepeIborra
• License LicenseRef-PublicDomain
• Categories FFI

• Maintained by: pepeiborra@gmail.com

• Lottery factor: 0 New

  The number of people with uploader permission on @hackage/bindings-yices who have released something to @hackage in the last 2 years (i.e. the number of people likely able to release critical fixes in a timely manner)

Links

• Documentation
• Source repository

Installation

Package Flags

Use the -f option with cabal commands to enable flags

yices-dynamic (on by default)