The bindings-yices package

[Tags: library, public-domain]

Properties

Versions0.1, 0.2
Dependenciesbase (>3 && <5)
LicensePublicDomain
AuthorJose Iborra
Maintainerpepeiborra@gmail.com
StabilityExperimental
CategoryForeign, FFI, Theorem Provers
Upload dateWed Jun 2 18:05:55 UTC 2010
Uploaded byPepeIborra
Downloads174 total (18 in last 30 days)

Modules

Flags

NameDescriptionDefault
yices-dynamicEnabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees