stp/stp

Simple Theorem Prover, un solveur SMT efficace pour les vecteurs de bits, les nombres à virgule flottante et les tableaux.

↗ Ouvrir sur GitHub

Étoiles

588

Bifurcations

144

Langage

C++

Licence

NOASSERTION

Dernier push

il y a 1 jour

C++cryptography verification smt cnf sat-solver symbolic-execution

Aucune intel associée pour le moment

Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.