1 search result for "author:"Bruno Marre""

  1. colibri2
    A CP solver for smtlib
    François Bobot Bruno Marre Guillaume Bury Stéphane Graham-Lengrand
    0.3.3
    LGPL-2.1
    Used by 0 other packages
    Last published 20 Jun 2022