An STL based generic c++ library for computations on intervals, interval containers and cubes. Automated axiom based testing.
Domain | herold-faulhaber.de |
---|---|
Homepage URL | http://www.herold-faulhaber.de |
Keywords | boost.icl interval map set container bitset large containter library aggregation on overlap cube generic programming boost c++ stl open source formal specification axiom based testing law automated labatea boost.alabaster |
Sprache | englisch |