The improve package

[ Tags: bsd3, embedded, formal-methods, language, library ] [ Propose Tags ]

TODO

Properties

Versions 0.0.0, 0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5, 0.0.6, 0.0.7, 0.0.8, 0.0.9, 0.0.10, 0.0.11, 0.0.12, 0.1.0, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.2.0, 0.2.1, 0.2.2, 0.2.3, 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.3.4, 0.4.0
Dependencies base (>=4.2 && <5), mtl (>=1.1.0.1 && <1.2), yices (>=0.0.0.7 && <0.0.1) [details]
License BSD3
Author Tom Hawkins <tomahawkins@gmail.com>
Maintainer Tom Hawkins <tomahawkins@gmail.com>
Category Language
Home page http://tomahawkins.org
Source repo head: git clone git://github.com/tomahawkins/atom.git
Uploaded Wed Aug 11 04:23:08 UTC 2010 by TomHawkins
Distributions NixOS:0.4.0
Downloads 9491 total (159 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees