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

colibri2
A CP solver for smtlib
0.3.3
LGPL-2.1
Used by 0 other packages
Last published 20 Jun 2022