bitv
A bit vector library
| Author | Jean-Christophe Filliâtre |
|---|---|
| License | LGPL v2 (after 1.0) |
| Homepage | https://www.lri.fr/~filliatr/software.en.html |
| Maintainer | filliatr@lri.fr |
Events
Apr 11, 2013
Published version 1.1
- License changed to LGPL v2 from GNU Library General Public License version 2.
- https://www.lri.fr/~filliatr/software.en.html added as homepage.
Feb 22, 2013
Published version 1.0