Pascal Fontaine, David Deharbe are the two main developpers. Additional contributors include Haniel Barbosa, Diego Caminha, Thomas Bouton and Pablo Federico Dobal.

The solver is being developed by the ForAll group at Universidade Federal do Rio Grande do Norte (Brazil) and the VeriDis group at Université de Lorraine and INRIA-Nancy Grand Est (France).

