1 search result for "author:"Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr>""

Showing 1 - 1
  1. combine
    Documentation
    Combine is a library for combinatorics problem solving.
    Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr> Rémy El Sibaie <remy.el-sibaie@lip6.fr>
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2016