Propietario · souffle-lang

souffle-lang

Repositorios de código abierto monitorizados de souffle-lang, ordenados por estrellas.

1 repositorio

#1
souffle ↗@souffle-langC++
Soufflé es una variante de Datalog para diseñadores de herramientas que crean análisis en cláusulas de Horn. Soufflé sintetiza un programa en C++ paralelo nativo a partir de una especificación lógica.
★ 1155+0Variación de estrellas de los últimos 7 días