The bindings-yices package

[Tags: library, public-domain]

Properties

Versions0.1, 0.2
Change logNone available
Dependenciesbase (>3 && <5)
LicensePublicDomain
AuthorJose Iborra
Maintainerpepeiborra@gmail.com
StabilityExperimental
CategoryForeign, FFI, Theorem Provers
UploadedWed Jun 2 18:05:55 UTC 2010 by PepeIborra
DistributionsNixOS:0.2
Downloads404 total (20 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-05-18 [all 3 reports]

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