New CoLoR release
Submitted by dcousineau on 9 May 2008 13:00 GMT
Frédéric Blanqui is pleased to announce a new release of CoLoR.
You can download it and find more details on http://color.loria.fr/.
The most important new features are:
enjoy!
You can download it and find more details on http://color.loria.fr/.
The most important new features are:
- arctic matrix interpretations [Koprowski, Waldmann]
- strongly connected components of a graph [Ducas]
- decomposition of a termination problem into sub-problems using the SCC decomposition of its dependency graph [Ducas]
- some support for classical reasoning [Blanqui]
enjoy!