Skip to content
Navigation menu
Search
Search
Log in
Create account
DEV Community 👩💻👨💻
Close
#
smtsolvers
Follow
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Testing logical equivalences (and more) using Z3 Theorem Prover
Donald Sebastian Leung
Donald Sebastian Leung
Donald Sebastian Leung
Follow
Sep 16 '18
Testing logical equivalences (and more) using Z3 Theorem Prover
#
computerscience
#
discretemath
#
logic
#
smtsolvers
Reactions
33
reactions
Comments
1
comment
6 min read
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
