pysmt/pysmt

pySMT : Une bibliothèque pour la manipulation et la résolution de formules SMT

↗ Ouvrir sur GitHub

Étoiles

638

Bifurcations

150

Langage

Python

Licence

Apache-2.0

Dernier push

il y a 2 jours

Python python verification python-3 formula smt constraints satisfiability-modulo-theories

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.