Suivre

Hey I've taken a look at today. It's my first time trying to use an smt solver and I was kind of fascinated by the smtlib format. So I created a quick binding in you can find here:

framagit.org/tyreunom/guile-z3

It's pretty lame: you give it an s-expression, it converts it to a string, pass it to z3, and gets a string back which is parsed into an s-expression ^^"

Inscrivez-vous pour prendre part à la conversation
Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !