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

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