nope · @stacked_automation
124 followers · 6519 posts · Server mastodon.socialz3-tutorial
(2011) : Leonardo de Moura and Nikolaj Bj{\o}rner
url: https://www.cs.colostate.edu/~cs440/spring19/slides/z3-tutorial.pdf
#SAT #SMT #lisp #satisfiability_moduolo_theories #z3
#my_bibtex
#sat #smt #lisp #satisfiability_moduolo_theories #z3 #my_bibtex
nope · @stacked_automation
127 followers · 6600 posts · Server mastodon.socialz3-tutorial
(2011) : Leonardo de Moura and Nikolaj Bj{\o}rner
url: https://www.cs.colostate.edu/~cs440/spring19/slides/z3-tutorial.pdf
#SAT #SMT #lisp #satisfiability_moduolo_theories #z3
#my_bibtex
#sat #smt #lisp #satisfiability_moduolo_theories #z3 #my_bibtex