New CoLoR release

Frédéric Blanqui is pleased to announce a new release of CoLoR.
You can download it and find more details on
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]