Acknowlegdements

• Financial support : Inria (France), Bordeaux University (France), Universidade Federal Fluminense (Brazil)

• Solver implementation : Ruslan Sadykov, Issam Tahiri, Francois Vanderbeck, Artur Pessoa, Teobaldo Bulhoes, Isaac Balster
• Interface implementation : Guillaume Marques, Teobaldo Bulhoes, Eduardo Queiroga
• Demos : Teobaldo Bulhões, Eduardo Uchoa, Eduardo Queiroga, João Marcos
• Maintenance: Aurélien Froger
• Technical support : Laurent Facq, Philippe Depouilly

Contact#

• Installation : Laurent Facq, laurent(point)facq(at)math(point)u-bordeaux(point)fr
• Other issues : Aurélien Froger, aurelien(point)froger(at)math(point)u-bordeaux(point)fr