The latest version of chr-data is 0.1.0.1-0.
chr-data
Version 0.1.0.0 revision 1 uploaded by AtzeDijkstra.
Package meta
- Synopsis
- Datatypes required for chr library
- Description
Datatypes required for chr library, in particular searching on treestructures, lookup abstraction, substitutions, etc. These are also used (via uhc-util) in UHC.
- Author
- Atze Dijkstra
- Bug reports
- https://github.com/atzedijkstra/chr/issues
- Category
- Development
- Copyright
- n/a
- Homepage
- https://github.com/atzedijkstra/chr
- Maintainer
- atzedijkstra@gmail.com
- Package URL
- n/a
- Stability
- n/a