Descrição
Código de raciocínio de ponto flutuante para cvc5 pode incluir cabeçalhos SymFPU que implementam comportamento IEEE-754 e SMT-LIB. Instala arquivos de cabeçalho em /usr/include/symfpu para desenvolvedores de solucionadores, não uma ferramenta executável.