Bitv
A bit vectors library.
[ Homepage ]
| Author: | Jean-Christophe Filliātre. |
| Last modification date: | 09-Aug-2001 |
| Version: | 0.5 |
| Development status: | Beta |
| Kind: | Libraries :: Native OCaml libraries |
| License: | Open Source :: LGPL |
| Topic: | General purpose libraries :: Data structures |
| Homepage: | http://www.lri.fr/~filliatr/software.en.html |