Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

uuverifiers/eldarica

The Eldarica model checker

Propriétaire: uuverifiers (organisation)
Étoiles: Étoiles : 111
Forks: Forks : 27
Langage: SMT
Licence: Aucune
Création: 2014
Sujets: horn-clausessmt-solvermodel-checkerverificationsmt2prolog
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts SMT

Tous les dépôts SMT

CyZooNiC/cyberdeckÉtoiles : 138SMTPrototype
metrox-eth/mossÉtoiles : 118SMTPrototype
eclsnowman/Eustathios-Spider-V2Étoiles : 112SMTPrototype
PL-ML/code2invÉtoiles : 106SMTPrototype