Lenguaje · SMT

SMT

Repositorios de código abierto monitorizados que tienen SMT como lenguaje principal, ordenados por estrellas.

2 repositorios

#1
Adafruit_CAD_Parts@adafruitSMT
Archivos CAD para varias placas, componentes y piezas
★ 1389+5Variación de estrellas de los últimos 7 días
#2
cvc5@cvc5SMT
cvc5 es un demostrador automático de teoremas de código abierto para problemas de Satisfiability Modulo Theories (SMT).
★ 1357+2Variación de estrellas de los últimos 7 días