Up – Package index » doc » Sources » psmt2-frontend » version.ml

Source file `version.ml`

doc
- CHANGES
- LICENSE
- README
- Library psmt2-frontend
  - Psmt2Frontend
- Sources
  - psmt2-frontend

1
let version="0.4.0"